Mercurial > hg > truffle
comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 8517:79cc35a1c2e7
-Merge
| author | Christos Kotselidis <christos.kotselidis@oracle.com> |
|---|---|
| date | Mon, 25 Mar 2013 22:57:00 +0100 |
| parents | 3417a9177425 |
| children |
comparison
equal
deleted
inserted
replaced
| 8516:c1385bb5851b | 8517:79cc35a1c2e7 |
|---|