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