Martin Dvorak 0c8c8d86b9 Polishing Ubuntu/Debian install files.		2019-12-21 17:03:48 +01:00
..
debian	Polishing Ubuntu/Debian install files.	2019-12-21 17:03:48 +01:00
mentors	Finishing Debian .deb builder script.	2018-08-13 17:00:22 +02:00
ppa	Aptly and Fedora.	2018-08-13 17:00:22 +02:00
aptly-add-deb.sh	Polishing copyright years.	2019-12-21 16:20:46 +01:00
make-deb.sh	Fixing various memory leaks #370	2019-12-21 08:54:56 +01:00
upload-to-mentors.sh	Polishing sources (copyrights, test refactoring).	2019-12-21 07:53:11 +01:00