media-gfx/ipe: Add ipe-7.2.17
[shuber-gentoo-overlay.git] / media-gfx / ipe / ipe-7.2.15.ebuild
2020-05-03 Stefan Hubermedia-gfx/ipe: Add ipe-7.2.15