diff .settings/org.eclipse.cdt.core.prefs @ 475:faa5f58c71af prerelease

Headers
author Giulio Moro <giuliomoro@yahoo.it>
date Mon, 20 Jun 2016 20:39:00 +0100
parents 182ae9367104
children
line wrap: on
line diff