diff dottes.html.tuneindex @ 728:9b562923ac71

Fix full title text in markdown - getFullTitle() needs a list of lines.
author Jim Hague <jim.hague@acm.org>
date Wed, 11 Oct 2017 18:05:32 +0100 (2017-10-11)
parents 833e6185b6a2
children d6e2a281cceb
line wrap: on
line diff