projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fdf085) | patch
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 08:53:23 +0000 (10:53 +0200)
commit6a50ebb55c5fa7be3dd487358effedc9ca7042ad
tree4251b964d1f355cb2e47d45a9f0496c7cd918449tree | snapshot
parent3fdf085ff535fbe8bd05958bc51a6de4a38acdf8commit | diff
package.mask: Last rite dev-lang/polyml

Bug: https://bugs.gentoo.org/667476
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.