package.mask: Last rite dev-lang/polyml
authorMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 08:53:23 +0000 (10:53 +0200)
committerMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:31:47 +0000 (11:31 +0200)
commita97ee50d35b1680925f0c0363de84937d373e219
tree4f36c81a106472eda484335a9d1b2439bf11ca9d
parent0a18a1331e8647403c316aa3234023c610da1057
package.mask: Last rite dev-lang/polyml

Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask