Poging tot het flexibel laten werken van devices met features. Zou moeten werken via een enum, maar lukt nog niet.

2011-02-02 13:00:33 +00:00
parent 35defa2593
commit 1e53c39bc2
8 changed files with 380 additions and 1 deletions
--- a/java/.settings/org.eclipse.jdt.ui.prefs
+++ b/java/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,4 @@
+#Wed Feb 02 12:09:06 CET 2011
+eclipse.preferences.version=1
+formatter_profile=_Rik
+formatter_settings_version=11