diff doc/gendoc.py @ 33900:10f1809ab98f

bookmarks: allow renaming active bookmark using '.'
author David Demelier <markand@malikania.fr>
date Mon, 21 Aug 2017 08:52:46 +0200
parents ff874d34c856
children 170926caf44c
line wrap: on
line diff