4 Commits

Author	SHA1	Message	Date
Michael Muré	09692456c7	man: update the date in the generated doc	2019-02-16 17:34:04 +01:00
Michael Muré	5a465c0d8a	update generated doc with the new date	2018-12-22 03:08:02 +01:00
Michael Muré	95021a07fd	docs: update manpages due to change of month	2018-10-01 21:54:52 +02:00
Michael Muré	04ddeef90f	commands: add a "deselect" command to deselect a previously selected bug	2018-09-26 16:49:00 +02:00