sezanzeb 1e10f0bd35 script not needed anymore		2020-12-03 20:57:48 +01:00
..
badges.sh	fixed coverage badge	2020-12-02 00:14:02 +01:00
build.sh	deb packaging seems to work now	2020-11-29 17:32:31 +01:00