comparison dottes.tex.a5header @ 186:09a87d3f128c

Try to improve the HTML header a little.
author Jim Hague <jim.hague@acm.org>
date Sun, 27 Jan 2013 00:04:59 +0000
parents 6a0bdabfb255
children af1d1009305f
comparison
equal deleted inserted replaced
185:9dd24e61d6dd 186:09a87d3f128c