Mercurial > hg > truffle
diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 4491:35569a1b4f62
More clean up around editor top component.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Wed, 01 Feb 2012 16:59:26 +0100 |
parents | 694c38d4b6d8 |
children |