log graal/com.oracle.max.graal.runtime/.settings/org.eclipse.jdt.ui.prefs @ 3010:ac6fb0c93ffb

age author description
Wed, 08 Jun 2011 08:42:25 +0200 Thomas Wuerthinger Project renaming. base graal/GraalRuntime/.settings/org.eclipse.jdt.ui.prefs@1beb6510fd70