romain-dartigues c98a63451e use add-apt-repository instead of add-apt-repository ... In Ubuntu Bionic 18.04 and Focal 20.04, the command remove-apt-repository either does not exists or fail in a default installation with the error: ModuleNotFoundError: No module named 'softwareproperties' But add-apt-repository allow removal through the `-r` flag.		2021-12-24 15:44:28 +01:00
..
explorer	Fix problems found by sellcheck in type explorers.	2018-10-07 19:41:44 +02:00
files	make package_data work	2012-10-29 22:50:27 +01:00
parameter	install proper packages	2014-01-20 14:01:29 +01:00
gencode-remote	use add-apt-repository instead of add-apt-repository	2021-12-24 15:44:28 +01:00
man.rst	GPLv3+ relicensing.	2016-08-10 18:15:54 +02:00
manifest	Remove unused variables (almost, found bugs?)	2018-10-04 19:22:28 +02:00