projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c2fcaf) | patch
profile: hardened: remove "profile" use.mask
authorThomas Deutschmann <whissi@gentoo.org>
Sun, 10 Feb 2019 15:42:35 +0000 (16:42 +0100)
committerThomas Deutschmann <whissi@gentoo.org>
Sun, 10 Feb 2019 21:49:59 +0000 (22:49 +0100)
commit2d9d9de8d3772455a5f872429070d5cb0a933259
treeaea9b7842a2d25be173b27e021da7f54f4201600tree | snapshot
parent0c2fcafa54d35d643279a68b70155c301928bf97commit | diff
profile: hardened: remove "profile" use.mask

Acked-by: Magnus Granberg <zorry@gentoo.org>
Bug: https://bugs.gentoo.org/676988

Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
profiles/features/hardened/use.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.