Mercurial > hg > truffle
directory /mx.truffle/eclipse-settings/ @ 21972:ff6f34159b8a
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 org.eclipse.core.resources.prefs
|
55 | -rw-r--r-- |
|
org.eclipse.jdt.apt.core.prefs
|
146 | -rw-r--r-- |
|
org.eclipse.jdt.core.prefs
|
32778 | -rw-r--r-- |
|
org.eclipse.jdt.ui.prefs
|
5634 | -rw-r--r-- |