diff .settings/org.eclipse.cdt.core.prefs @ 108:3068421c0737 ultra-staging

Merged default into ultra-staging
author Giulio Moro <giuliomoro@yahoo.it>
date Tue, 18 Aug 2015 00:35:15 +0100
parents 182ae9367104
children
line wrap: on
line diff