media-gfx/ipe: Remove 7.2.{11,12}
[shuber-gentoo-overlay.git] / media-gfx /
drwxr-xr-x   ..
drwxr-xr-x - cgal-ipelets
drwxr-xr-x - figtoipe
drwxr-xr-x - ipe
drwxr-xr-x - ipe5toxml
drwxr-xr-x - pdftoipe
drwxr-xr-x - svgtoipe