diff options
| author | Eike Stepper | 2012-06-06 16:26:06 +0000 |
|---|---|---|
| committer | Eike Stepper | 2012-06-06 16:26:06 +0000 |
| commit | bc6860460ea734dc2dfa4cc82238486f53c81d41 (patch) | |
| tree | 18e8504d09c047a2faea9596e241c493234bbdb3 /plugins/org.eclipse.emf.cdo.ui.admin/.options | |
| parent | beaf88a6d18849a3d00476ca046a111f636ace5a (diff) | |
| download | cdo-bc6860460ea734dc2dfa4cc82238486f53c81d41.tar.gz cdo-bc6860460ea734dc2dfa4cc82238486f53c81d41.tar.xz cdo-bc6860460ea734dc2dfa4cc82238486f53c81d41.zip | |
[381472] Design a repository administration API
https://bugs.eclipse.org/bugs/show_bug.cgi?id=381472
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.ui.admin/.options')
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.ui.admin/.options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.cdo.ui.admin/.options b/plugins/org.eclipse.emf.cdo.ui.admin/.options new file mode 100644 index 0000000000..81c6ef1b57 --- /dev/null +++ b/plugins/org.eclipse.emf.cdo.ui.admin/.options @@ -0,0 +1,3 @@ +# Debugging and tracing options + +org.eclipse.emf.cdo.ui.admin/debug = true |