diff options
| author | Kevin Barnes | 2006-01-16 22:37:09 +0000 |
|---|---|---|
| committer | Kevin Barnes | 2006-01-16 22:37:09 +0000 |
| commit | fc8b289edff5ec9495bf3b1f0c6e5ec32058fb23 (patch) | |
| tree | 777b38600f097dfd48dd108929ab89ef10f4d039 /org.eclipse.debug.ui/.options | |
| parent | e0b22608e971b53849f383723a9572bb2d5c06ad (diff) | |
| download | eclipse.platform.debug-fc8b289edff5ec9495bf3b1f0c6e5ec32058fb23.tar.gz eclipse.platform.debug-fc8b289edff5ec9495bf3b1f0c6e5ec32058fb23.tar.xz eclipse.platform.debug-fc8b289edff5ec9495bf3b1f0c6e5ec32058fb23.zip | |
https://bugs.eclipse.org/bugs/show_bug.cgi?id=123163
Diffstat (limited to 'org.eclipse.debug.ui/.options')
| -rw-r--r-- | org.eclipse.debug.ui/.options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/org.eclipse.debug.ui/.options b/org.eclipse.debug.ui/.options deleted file mode 100644 index a2688151a..000000000 --- a/org.eclipse.debug.ui/.options +++ /dev/null @@ -1,2 +0,0 @@ -org.eclipse.debug.ui/debug = false -org.eclipse.debug.ui/debug/viewer_cache_debug = false |