diff dottes.tex.firstlines @ 191:2fa3c89a0a8a

Change web to use PNG rather than JPG. This makes the image files smaller and much sharper.
author Jim Hague <jim.hague@acm.org>
date Sun, 10 Feb 2013 18:27:29 +0000
parents e666306c5ab1
children
line wrap: on
line diff