view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 14114:2bb17229c0d7

solaris: exclude gpu if graal is not used
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 07 Mar 2014 13:55:06 +0100
parents f11d3d5248b5
children
line wrap: on
line source

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