|
|
ae2eea1933
|
Add UID/GID for OpenMapKit, change path from omk to openmapkit
|
2017-12-15 16:39:40 +01:00 |
|
|
|
8e51e09d58
|
Kill OpenMapKit container instead of stopping (which fails anyway)
|
2017-12-15 16:39:40 +01:00 |
|
|
|
145b73c3ce
|
OpenMapKit concept
|
2017-12-15 16:39:40 +01:00 |
|
|
|
0f228fb1fe
|
Introduce install script for OpenMapKit, closes #149
|
2017-12-12 05:48:36 +01:00 |
|
