Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 21376:739d9d9bd2fc
Allow closing of invocation plugin registry to prevent future modifications
author | Christian Wimmer <christian.wimmer@oracle.com> |
---|---|
date | Thu, 14 May 2015 16:00:20 -0700 |
parents | 7e2c87dae93e |
children |