Manos Pitsidianakis 3a10953f05 debian/: update fix-prefix-for-debian.patch		2023-03-06 09:52:51 +02:00
..
fix-prefix-for-debian.patch	debian/: update fix-prefix-for-debian.patch	2023-03-06 09:52:51 +02:00
series	Makefile: add debian/ and deb-dist target to build *.deb package	2020-02-04 02:55:45 +02:00