diff options
Diffstat (limited to 'jpa/plugins/org.eclipse.jpt.ui/.options')
| -rw-r--r-- | jpa/plugins/org.eclipse.jpt.ui/.options | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.ui/.options b/jpa/plugins/org.eclipse.jpt.ui/.options deleted file mode 100644 index 37e1229856..0000000000 --- a/jpa/plugins/org.eclipse.jpt.ui/.options +++ /dev/null @@ -1,14 +0,0 @@ -# Debugging options for org.eclipse.jpt.ui plug-in - -# Turn on debugging for the org.eclipse.jpt.ui plugin. -org.eclipse.jpt.ui/debug=false - -# Turn on debugging for unit-tests -org.eclipse.jpt.ui/debug/unit-tests=false - -# Turn on debugging for events occurring in the UI panes -org.eclipse.jpt.ui/debug/ui/layout=false -org.eclipse.jpt.ui/debug/ui/detailsView=false - -# Turn on debugging for events coming from ConnectionProfile -org.eclipse.jpt.ui/debug/ui/db=false |