[22:05] <BobJonkman> Hi all:  Is there an "apt-remove-repository" like there is an "apt-add-repository"?
[22:22] <BobJonkman> Apparently the answer is ppa-purge
[22:23] <BobJonkman> But I ended up rm'ing the file in /etc/sources.list.d