diff dottes.html.tuneindex @ 260:f337d024b13d

Make printed table of contents a two-column list.
author Jim Hague <jim.hague@acm.org>
date Fri, 21 Jun 2013 19:41:06 +0100
parents db569ede2165
children f1c4abe4fc75
line wrap: on
line diff