Ulrich Mohr 6a8c9e14e9 added libgps to docker to be able to build for linux		2022-02-18 11:39:03 +01:00
..
Dockerfile	added libgps to docker to be able to build for linux	2022-02-18 11:39:03 +01:00
Jenkinsfile	what kind of language is this?	2022-02-17 18:37:00 +01:00