diff options
Diffstat (limited to 'sched')
-rw-r--r-- | sched/.settings/org.eclipse.jdt.core.prefs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/sched/.settings/org.eclipse.jdt.core.prefs b/sched/.settings/org.eclipse.jdt.core.prefs index 34af015..58cab3f 100644 --- a/sched/.settings/org.eclipse.jdt.core.prefs +++ b/sched/.settings/org.eclipse.jdt.core.prefs @@ -98,9 +98,6 @@ org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning org.eclipse.jdt.core.compiler.processAnnotations=enabled org.eclipse.jdt.core.compiler.source=1.6 -org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled -org.eclipse.jdt.core.compiler.taskPriorities=NORMAL,LOW,HIGH,HIGH,LOW -org.eclipse.jdt.core.compiler.taskTags=TODO(jplesot)\:,TODO,FIXME,XXX,FINDBUGS org.eclipse.jdt.core.formatter.align_type_members_on_columns=false org.eclipse.jdt.core.formatter.alignment_for_annotations_on_field=1585 org.eclipse.jdt.core.formatter.alignment_for_annotations_on_field.count_dependent=1585|-1|1585 |