diff contrib/revsetbenchmarks.py @ 33913:5cd6d4826f9f

bookmarks: allow deleting active bookmark using '.'
author David Demelier <markand@malikania.fr>
date Thu, 24 Aug 2017 09:23:06 +0200
parents 984c4d23d39c
children e2697acd9381
line wrap: on
line diff