Gilles Peskine 5e39c9e94f Actually remove files
Minor rework of how files are removed. Actually do remove the
files (earlier I accidentally committed a debug version with removal
commented out).
2020-01-22 15:48:45 +01:00
..
2016-01-12 14:48:03 +00:00
2020-01-22 15:48:45 +01:00
2019-04-25 11:46:21 +01:00
2015-06-23 13:09:10 +02:00