| commit | dbf08512a62bc2cd1ac81f2aa094cd22b23dfa11 | [log] [tgz] |
|---|---|---|
| author | deboer <deboer> | Fri Feb 11 15:47:28 2005 +0000 |
| committer | deboer <deboer> | Fri Feb 11 15:47:28 2005 +0000 |
| tree | afacf371f6fdc485b77c72846c5607460f07d9ff | |
| parent | c10d3681b7dac748f7e29139d2a9adf65814ceee [diff] [blame] |
API documentation and cleanup
diff --git a/plugins/org.eclipse.jst.server.ui/.options b/plugins/org.eclipse.jst.server.ui/.options new file mode 100644 index 0000000..a747d69 --- /dev/null +++ b/plugins/org.eclipse.jst.server.ui/.options
@@ -0,0 +1,4 @@ +# Debugging options for the org.eclipse.jst.server.ui plugin + +# Turn on general debugging +org.eclipse.jst.server.ui/debug=true