54 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Phuntsok Drak-pa	b9475855cc	attempt to fix CI	2019-03-19 11:15:42 +01:00
Phuntsok Drak-pa	48d5b5bf28	added CI, fixed configuration	2019-03-19 11:01:39 +01:00
Phuntsok Drak-pa	0239487ffb	forgot to remove this	2019-03-19 10:15:16 +01:00
Phuntsok Drak-pa	d14dd678d3	initial commit	2019-03-19 10:14:19 +01:00