media-gfx/ipe-tools: Add ipe-tools-7.2.24.1
[shuber-gentoo-overlay.git] / media-gfx / ipe / files /
drwxr-xr-x   ..
-rw-r--r-- 2488 ipe-outputprecision.patch