Fixed remove-feed for the case where the file no longer exists
commitbd72248876424e653b93c316cfd040aab536a3af
authorThomas Leonard <talex5@gmail.com>
Sat, 12 May 2012 12:08:47 +0000 (12 13:08 +0100)
committerThomas Leonard <talex5@gmail.com>
Sat, 12 May 2012 12:08:47 +0000 (12 13:08 +0100)
tree07158a8b103754350b8f3b60a6993d58d93ec2ca
parent0a092415fd602efdb365c59d353c2ea572e7cad6
Fixed remove-feed for the case where the file no longer exists

Was broken by baca69e8d9.
zeroinstall/cmd/remove_feed.py