comparison 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
comparison
equal deleted inserted replaced
33899:078099304772 33900:10f1809ab98f