diff options
Diffstat (limited to 'common/plugins/org.eclipse.jpt.common.core/.options')
| -rw-r--r-- | common/plugins/org.eclipse.jpt.common.core/.options | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/common/plugins/org.eclipse.jpt.common.core/.options b/common/plugins/org.eclipse.jpt.common.core/.options deleted file mode 100644 index 987ec33b47..0000000000 --- a/common/plugins/org.eclipse.jpt.common.core/.options +++ /dev/null @@ -1,4 +0,0 @@ -# Debugging options for the org.eclipse.jpt.common.core plugin. - -# Turn on debugging for the org.eclipse.jpt.common.core plugin. -org.eclipse.jpt.common.core/debug=true |