]> gerrit.simantics Code Review - simantics/district.git/tree - org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/
Code Review / simantics / district.git / tree
? search:
summary | shortlog | log | commit | commitdiff | review | tree
history | HEAD | snapshot
Make background map preference changes apply immediately 18/3918/1
[simantics/district.git] / org.simantics.maps.server / src / org / simantics / district / maps / server / prefs /
drwxr-xr-x   ..
-rw-r--r-- 1029 MapsServerInitializer.java blob | history | raw
-rw-r--r-- 1729 MapsServerPreferences.java blob | history | raw
Simantics District Modelling components.