mimis/org.eclipse.jdt.ui.prefs at 6d11983b122ace5d679e9716e2c0484c6b8f68bc - mimis - Shuttle

rik/mimis

Files

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

5 lines

117 B

INI

Raw Blame History

 #Wed Feb 02 12:09:06 CET 2011
 eclipse.preferences.version=1
 formatter_profile=_Rik
 formatter_settings_version=11