romain-dartigues 54a5cb17b7 use add-apt-repository instead of add-apt-repository ... Remove `remove-apt-repository` which is now no longer needed; use `add-apt-repository` which allow removal through the `-r` flag.		2022-04-11 21:09:31 +02:00
..
explorer	Fix problems found by sellcheck in type explorers.	2018-10-07 19:41:44 +02:00
parameter	install proper packages	2014-01-20 14:01:29 +01:00
gencode-remote	use add-apt-repository instead of add-apt-repository	2022-04-11 21:09:31 +02:00
man.rst	GPLv3+ relicensing.	2016-08-10 18:15:54 +02:00
manifest	use add-apt-repository instead of add-apt-repository	2022-04-11 21:09:31 +02:00