From 849bb9174c20543c425db0ab62623ebd8966e780 Mon Sep 17 00:00:00 2001
From: "Christian P. MOMON" <christian.momon@devinsy.fr>
Date: Sun, 23 Jun 2013 01:29:02 +0200
Subject: [PATCH] Set DEVINSY code style for this project.

---
 .settings/org.eclipse.jdt.ui.prefs | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .settings/org.eclipse.jdt.ui.prefs

diff --git a/.settings/org.eclipse.jdt.ui.prefs b/.settings/org.eclipse.jdt.ui.prefs
new file mode 100644
index 0000000..90b0130
--- /dev/null
+++ b/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+formatter_profile=_Devinsy
+formatter_settings_version=12