diff options
author | goblin911 <[email protected]> | 2013-08-25 21:18:19 +0800 |
---|---|---|
committer | goblin911 <[email protected]> | 2013-08-25 21:18:19 +0800 |
commit | 0e687f12bd2653adb55ea002b39292678366c525 (patch) | |
tree | 0ad073ec8ff2ed2716adf23a679184c38df582a1 /client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs | |
parent | 2efdc2f20f0306791ced5ec78a1acddfaf086f42 (diff) |
...
Diffstat (limited to 'client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs')
-rw-r--r-- | client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs b/client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs new file mode 100644 index 0000000..5e2da66 --- /dev/null +++ b/client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs @@ -0,0 +1,4 @@ +eclipse.preferences.version=1 +spelling_locale_initialized=true +useAnnotationsPrefPage=true +useQuickDiffPrefPage=true |