diff dottes.tex.firstlines @ 265:3e5335396f48

We have to shink some tunes anyway. So revert squasjing of Rufty Tufty. I's easier to read the original way.
author Jim Hague <jim.hague@acm.org>
date Fri, 21 Jun 2013 22:28:21 +0100
parents e666306c5ab1
children
line wrap: on
line diff