Mercurial > hg > truffle
comparison mx/eclipse-settings/org.eclipse.jdt.ui.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 | 3417a9177425 |
| children |
comparison
equal
deleted
inserted
replaced
| 18368:cb3c93857cbb | 18369:966034c24f0e |
|---|