Rik Veenboer 1e53c39bc2 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

..

org.eclipse.jdt.core.prefs

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

org.eclipse.jdt.ui.prefs

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