Mercurial > hg > truffle
comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 18369:966034c24f0e
Truffle: make NodeInterface a pure marker interface
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Thu, 13 Nov 2014 11:57:27 +0100 |
parents | e3491381c424 |
children | 7e2c87dae93e |
comparison
equal
deleted
inserted
replaced
18368:cb3c93857cbb | 18369:966034c24f0e |
---|