projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b746b97) | patch
profiles/base: Remove obsolete php5-5 mask
authorMichał Górny <mgorny@gentoo.org>
Sat, 1 Dec 2018 18:09:44 +0000 (19:09 +0100)
committerMichał Górny <mgorny@gentoo.org>
Sat, 1 Dec 2018 18:13:26 +0000 (19:13 +0100)
commit45159470fcaf38e7c34bf75f39c16c8c9b31a9eb
tree3efb9c643231d13b23f278310987798680468e55tree | snapshot
parentb746b97d91b6a43d73d14e6538d25074a3e74b4ecommit | diff
profiles/base: Remove obsolete php5-5 mask

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