projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26b4e5d) | patch
unmask dev-lang/polyml and sci-mathematics/isabelle
authorTupone Alfredo <tupone@gentoo.org>
Fri, 5 Apr 2019 16:46:35 +0000 (18:46 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 5 Apr 2019 16:49:20 +0000 (18:49 +0200)
commitb95bc92602f3b0db2007710d136621b086e97604
treefd76c0eceac580adea7550063c15ed1cc0f70a54tree | snapshot
parent26b4e5dcb724273315252e07bf263803f4c17d70commit | diff
unmask dev-lang/polyml and sci-mathematics/isabelle

I'm trying to take care of them

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.