diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 16944:a04d9cbc149f

mx: Make order of projects() deterministic
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 26 Aug 2014 10:46:48 +0200
parents 694c38d4b6d8
children
line wrap: on
line diff