Commit Graph

3 Commits

Author SHA1 Message Date
Phuntsok Drak-pa
5f198555f0 better handling of filenames 2019-03-20 12:34:46 +01:00
Phuntsok Drak-pa
48d5b5bf28 added CI, fixed configuration 2019-03-19 11:01:39 +01:00
Phuntsok Drak-pa
d14dd678d3 initial commit 2019-03-19 10:14:19 +01:00