diff options
author | Benoit Lamarche <benoitlamarche@google.com> | 2015-04-24 15:49:44 +0200 |
---|---|---|
committer | Benoit Lamarche <benoitlamarche@google.com> | 2015-04-24 15:49:44 +0200 |
commit | b68e89b9c9c5d6cda632f7307e8ce477dbb60b62 (patch) | |
tree | abe26d27044a6328e222bff9878c50929d09ff6b /sched | |
parent | d63e6d0da10c93b42308303f4bff72da37b41682 (diff) | |
download | toolchain_jack-b68e89b9c9c5d6cda632f7307e8ce477dbb60b62.zip toolchain_jack-b68e89b9c9c5d6cda632f7307e8ce477dbb60b62.tar.gz toolchain_jack-b68e89b9c9c5d6cda632f7307e8ce477dbb60b62.tar.bz2 |
Remove Task Tags configuration from Scheduler project
There are several problems with it:
- It adds "TODO(jplesot)" instead of using the user's name.
- The STOPSHIP tag is missing and is not recognized even if it is
defined in Eclipse's global settings.
- It is not coherent with other projects that don't have a custom
configuration.
Change-Id: I6a8c466f6040486614281ebe15b16886fd99739c
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 |