diff options
author | Teddy <[email protected]> | 2013-08-23 21:15:01 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2013-08-23 21:15:01 +0800 |
commit | 9f239db4b690e648db9c3a2df6b0ee7f26edb0c2 (patch) | |
tree | ea4f14c857608acb637ddd27f1251d55d244b231 /client/activity-demo/Piztor/.settings | |
parent | 12b1d4bc7e56c7de8bf325f702cff1ae114c4db0 (diff) | |
parent | e76d8dc824fddada5912eb838a49d77e7f73641e (diff) |
Merge branch 'master' of github.com:Determinant/piztor
Diffstat (limited to 'client/activity-demo/Piztor/.settings')
-rw-r--r-- | client/activity-demo/Piztor/.settings/org.eclipse.jdt.core.prefs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/client/activity-demo/Piztor/.settings/org.eclipse.jdt.core.prefs b/client/activity-demo/Piztor/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..b080d2d --- /dev/null +++ b/client/activity-demo/Piztor/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,4 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 +org.eclipse.jdt.core.compiler.compliance=1.6 +org.eclipse.jdt.core.compiler.source=1.6 |