diff Session/PlaneTree.abc @ 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
parents 76aa6580b277
children
line wrap: on
line diff