diff options
| author | Teddy <[email protected]> | 2013-08-26 08:50:47 +0800 |
|---|---|---|
| committer | Teddy <[email protected]> | 2013-08-26 08:50:47 +0800 |
| commit | 7a606637907476942c1f6686137ada6898d7eb14 (patch) | |
| tree | 1510da0a6764f18a66958ebae6587353ac6e019c /client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs | |
| parent | 537d01ac3e78dec6828e068979dcd061e8f68a98 (diff) | |
purged the repo
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, 0 insertions, 4 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 deleted file mode 100644 index 5e2da66..0000000 --- a/client/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.cdt.ui.prefs +++ /dev/null @@ -1,4 +0,0 @@ -eclipse.preferences.version=1 -spelling_locale_initialized=true -useAnnotationsPrefPage=true -useQuickDiffPrefPage=true |