2014-04-09 16:04:16 +02:00
|
|
|
eclipse.preferences.version=1
|
|
|
|
|
org.eclipse.dltk.coretasks.case_sensitive=true
|
|
|
|
|
org.eclipse.dltk.coretasks.enabled=true
|
|
|
|
|
org.eclipse.dltk.coretasks.tags=FIXME;HIGH,TODO;NORMAL,XXX;NORMAL,@fixme;HIGH,@todo;NORMAL,@warning;NORMAL
|