.settings/org.eclipse.cdt.core.prefs
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Mar 07 19:00:10 2007 +0000 (2007-03-07)
changeset 14 11726b835286
child 122 7774ae1174ed
permissions -rw-r--r--
Add an option to remove the generated documentation.
(After an idea from Enrico Weigelt <weigelt@metux.de>).
yann@1
     1
#Sat Feb 17 16:17:18 CET 2007
yann@1
     2
eclipse.preferences.version=1
yann@1
     3
indexerId=org.eclipse.cdt.core.fastIndexer