diff options
author | cxp2249 <moritz.pirk@tuhh.de> | 2018-01-27 02:35:54 +0100 |
---|---|---|
committer | cxp2249 <moritz.pirk@tuhh.de> | 2018-01-27 02:35:54 +0100 |
commit | f72c4f122ccd832031925974ff521955e0e9b17c (patch) | |
tree | 02766a38371000ced0e2cb109f4e6a7f5c97a61c /.settings/org.eclipse.cdt.ui.prefs | |
parent | cbac1496b1c8023a7fdede63e9556f2de82bbafe (diff) | |
parent | c8a38bd8ad66eb0b35f08a4733fdee37a888b83c (diff) |
Merge branch 'master' of https://collaborating.tuhh.de/cev7691/mandelbrot-zoom
Diffstat (limited to '.settings/org.eclipse.cdt.ui.prefs')
-rw-r--r-- | .settings/org.eclipse.cdt.ui.prefs | 3 |
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..48a50c7 --- /dev/null +++ b/.settings/org.eclipse.cdt.ui.prefs @@ -0,0 +1,3 @@ +eclipse.preferences.version=1 +formatter_profile=org.eclipse.cdt.ui.default.allman_profile +formatter_settings_version=1 |