matiec: .settings/org.eclipse.cdt.core.prefs@96a1199d0739

.settings/org.eclipse.cdt.core.prefs

author	Manuele Conti <conti.ma@alice.it>
	Mon, 24 Dec 2012 16:56:08 +0100
changeset 776	96a1199d0739
parent 0	fb772792efd1
permissions	-rwxr-xr-x

Fix comment about meet semilattice rules.

#Wed Jan 31 15:26:34 CET 2007
eclipse.preferences.version=1
indexerId=org.eclipse.cdt.core.fastIndexer

matiec