mimis/org.eclipse.jdt.ui.prefs at 401690c8a63321b97490a88b742eb2a86ca8d4de - 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