K 10
svn:author
V 5
gabor
K 8
svn:date
V 27
2013-03-31T21:35:32.337751Z
K 7
svn:log
V 120
- Remove more leftovers
- Simplify image processing so that html always uses .png and printed
  formats always use .eps

END