media-gfx/ipe: Remove 7.2.{11,12}
[shuber-gentoo-overlay.git] / media-gfx / pdftoipe / files / missingpage.patch
2014-02-06 Stefan Huberpdftoipe: Add patch for missing <page>-bug