projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b95bc92) | patch
Trying to take care of sci-mathematics/isabelle
authorTupone Alfredo <tupone@gentoo.org>
Fri, 5 Apr 2019 16:51:16 +0000 (18:51 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 5 Apr 2019 16:51:16 +0000 (18:51 +0200)
commitf58ffbe549793633fe91de9892b2882236b92966
treea30a275a00cb5a3c7138b301cf017ec29b33e344tree | snapshot
parentb95bc92602f3b0db2007710d136621b086e97604commit | diff
Trying to take care of sci-mathematics/isabelle

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