2 Commits

Author	SHA1	Message	Date
vince	4e4ca106ae	Allow user to delete remote bugs	2020-07-28 14:30:05 +02:00
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