media-gfx/ipe: Remove 7.2.{11,12}
[shuber-gentoo-overlay.git] / profiles / repo_name
2011-05-23 Stefan Hubergive overlay a name