summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.cdt.ui.prefs
diff options
context:
space:
mode:
authorDominik Sliwa <dominik.sliwa@toradex.com>2017-11-09 19:51:32 +0100
committerDominik Sliwa <dominik.sliwa@toradex.com>2017-11-28 11:06:57 +0100
commit3020f5caf0b09fcaf85b3b3fa84fdf688ba22cc0 (patch)
tree971e36ac2bbd28b534791ca07efeca9e762c614a /.settings/org.eclipse.cdt.ui.prefs
parent41a46914821b1ea72c6dd68b308a3740276139ee (diff)
Signed-off-by: Dominik Sliwa <dominik.sliwa@toradex.com>
Diffstat (limited to '.settings/org.eclipse.cdt.ui.prefs')
-rw-r--r--.settings/org.eclipse.cdt.ui.prefs3
1 files changed, 3 insertions, 0 deletions
diff --git a/.settings/org.eclipse.cdt.ui.prefs b/.settings/org.eclipse.cdt.ui.prefs
new file mode 100644
index 0000000..e4bfcf8
--- /dev/null
+++ b/.settings/org.eclipse.cdt.ui.prefs
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+formatter_profile=_Linux Kernel
+formatter_settings_version=1