git.eclipse.org / dltk / org.eclipse.dltk.core / 356cd4317dab9446439cc53e3b8220c15c6477f5 / rse / plugins / org.eclipse.dltk.rse / about.ini