53 Commits

Author	SHA1	Message	Date
joschneid	59c3fe0e4b	make debian repos customizable	2019-01-24 09:01:16 +01:00
joschneid	82693e34f1	debian repo keys with pgp keyserver	2019-01-24 08:42:57 +01:00
Jesús Linares	1bd21e381b	Restructure repository (#66)	2018-10-04 12:40:10 +02:00