ArsenArsen e86e5da978 Debian package names....		2017-06-26 18:04:40 +02:00
..
deb/DEBIAN	Debian package names....	2017-06-26 18:04:40 +02:00
makedeb.sh	Works on debian too	2017-06-26 17:07:03 +02:00