diff .hgignore @ 303:67dc98ae4816

Crop PDFs after generation so that they don't have white borders - document can do that.
author Jim Hague <jim.hague@acm.org>
date Sun, 07 Jul 2013 20:27:27 +0100
parents a8f8718d2cf7
children 7d04c6e5b289
line wrap: on
line diff