diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 13836:64c77f0577bb

More documentation and improvements of Simple Language
author Christian Wimmer <christian.wimmer@oracle.com>
date Thu, 30 Jan 2014 17:53:27 -0800
parents 694c38d4b6d8
children
line wrap: on
line diff