diff dottes.html @ 397:4cc820c7cf04

Small cleanup. Remove .eps file once web PDF is generated.
author Jim Hague <jim.hague@acm.org>
date Mon, 02 Sep 2013 10:02:07 +0100 (2013-09-02)
parents e4d6a612c755
children f1c4abe4fc75
line wrap: on
line diff