media-gfx/ipe: Remove 7.2.{11,12}
[shuber-gentoo-overlay.git] / media-gfx / ipe / files /
drwxr-xr-x   ..
-rw-r--r-- 2504 ipe-outputprecision.patch