comparison hotspot/.settings/org.eclipse.cdt.core.prefs @ 12497:98caa3872d83

gate: clean and build IGV (not GV)
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 21 Oct 2013 16:07:32 +0200
parents f86ddbd42a7b
children df8d52aba789
comparison
equal deleted inserted replaced
12496:c82ed607fada 12497:98caa3872d83