view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 15474:dd624471bd30

Truffle: remove deprecated Node#adoptChild, Node#adoptChildren.
author Andreas Woess <andreas.woess@jku.at>
date Fri, 02 May 2014 15:59:44 +0200
parents f11d3d5248b5
children
line wrap: on
line source

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