view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 16620:a4b7356f4a2b

Unless the current revision is tagged as a release, make the Graal version 0.(n+1)-dev, in order to differentiate between release and development versions.
author Chris Seaton <chris.seaton@oracle.com>
date Wed, 30 Jul 2014 11:34:10 +0200
parents f11d3d5248b5
children
line wrap: on
line source

eclipse.preferences.version=1
encoding/<project>=UTF-8