David Pursehouse ef5690b39e Add encoding for generated-sources/prolog-java in Eclipse prefs ... Change-Id: I8b612e265bcae68e9dac81c7a42874d58e331a78		2013-05-07 10:43:00 +01:00
..
org.eclipse.core.resources.prefs	Add encoding for generated-sources/prolog-java in Eclipse prefs	2013-05-07 10:43:00 +01:00
org.eclipse.core.runtime.prefs	Rewrite our build as modular maven components	2009-11-11 16:54:06 -08:00
org.eclipse.jdt.core.prefs	Implement full query operators	2010-07-17 20:24:51 -07:00
org.eclipse.jdt.ui.prefs	Rewrite our build as modular maven components	2009-11-11 16:54:06 -08:00