diff options
| author | david_williams | 2009-03-30 09:51:02 +0000 |
|---|---|---|
| committer | david_williams | 2009-03-30 09:51:02 +0000 |
| commit | 459e6bcc4a126dec9947e2c1fc7e95c3797f1225 (patch) | |
| tree | 57a07ef41b1d4a2f6c1d5bd0a235e4c5c4796b84 /plugins/org.eclipse.jem.util/.options | |
| parent | cdcf12d076133f98e4498cde354d25d1f98ad408 (diff) | |
| download | webtools.common-200903300951.tar.gz webtools.common-200903300951.tar.xz webtools.common-200903300951.zip | |
This commit was manufactured by cvs2svn to create tag 'v200903300951'.v200903300951
Diffstat (limited to 'plugins/org.eclipse.jem.util/.options')
| -rw-r--r-- | plugins/org.eclipse.jem.util/.options | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/plugins/org.eclipse.jem.util/.options b/plugins/org.eclipse.jem.util/.options deleted file mode 100644 index 056541768..000000000 --- a/plugins/org.eclipse.jem.util/.options +++ /dev/null @@ -1,3 +0,0 @@ -org.eclipse.jem.util/debug/logtrace=false -org.eclipse.jem.util/debug/logtracefile=false -org.eclipse.jem.util/debug/loglevel=WARNING
\ No newline at end of file |