log

age author description
Mon, 10 Jul 2017 20:06:15 +0200 Boris Feld bookmark: drop deletedivergent
Mon, 10 Jul 2017 20:02:32 +0200 Boris Feld bookmark: use 'divergent2delete' in checkconflict