Commit Graph

2 Commits

Author SHA1 Message Date
vince
36f300cb35
Add the 'rm' command
This commit adds a command that removes a bug from the repository, given a prefix.
2020-07-28 14:30:05 +02:00
Michael Muré
8a38af24d4 cache: split into multiple files for readability 2020-07-03 18:58:58 +02:00