projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8165348) | patch
Revert "virtual/os-headers: no linux-headers for prefix-guest"
authorMichael Haubenwallner <haubi@gentoo.org>
Mon, 28 May 2018 13:35:16 +0000 (15:35 +0200)
committerMichael Haubenwallner <haubi@gentoo.org>
Mon, 28 May 2018 13:39:56 +0000 (15:39 +0200)
commit3e8642cd78ec0f3d7bf4da1c3a188b41751e55fb
treeef072a9b4f4279fbdb915e94a9d54a799272c253tree | snapshot
parent8165348a970678b204980b701381f2cc367de0edcommit | diff
Revert "virtual/os-headers: no linux-headers for prefix-guest"

This reverts commit b88ff65fca383a0bc7f7e66ad99a04e95bb3d3e9.

Mea culpa: Was not intended to hit main repo without prior notice.
virtual/os-headers/os-headers-0-r1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.