diff dottes.tex.a5header @ 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 6a0bdabfb255
children af1d1009305f
line wrap: on
line diff