everge.git/.settings/org.eclipse.core.resources.prefs, branch trunk

everge.git/.settings/org.eclipse.core.resources.prefs, branch trunk Tool for doing text-manipulation of files Fix up eclipse config 2020-04-05T21:10:21+00:00 Ben Culkin scorpress@gmail.com 2020-04-05T21:10:21+00:00 f888c4cb5d84249c22a3d36dfad15ff999ce79b3 Do some changes to get the eclipse config working better

Do some changes to get the eclipse config working better