media-gfx/ipe: Add ipe-7.2.17
[shuber-gentoo-overlay.git] / media-gfx / ipe / ipe-7.2.12.ebuild
2019-05-06 Stefan Hubermedia-gfx/ipe: Add ipe-7.2.12