Tim Kersten 9c2ca52382 When removing a ppa, don't forget deb-src line ... (Also remove the [ppa-name].list file if empty.)		2012-01-16 23:50:12 +00:00
..
remove-apt-repository	When removing a ppa, don't forget deb-src line	2012-01-16 23:50:12 +00:00