diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2019-07-29 14:04:57 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2019-07-29 14:04:57 +0200 |
| commit | 243172c205edbf1ad96f44bdc118c797e1ee412f (patch) | |
| tree | 4254cf21c7f14ebab00d2d942df6cbe06192e3ac /virtual/linux-sources/linux-sources-4.ebuild | |
| parent | d92bdb908a73480fcd4e9c622c5b23668914200d (diff) | |
| download | gentoo-personal-overlay-243172c205edbf1ad96f44bdc118c797e1ee412f.tar.gz gentoo-personal-overlay-243172c205edbf1ad96f44bdc118c797e1ee412f.tar.bz2 gentoo-personal-overlay-243172c205edbf1ad96f44bdc118c797e1ee412f.zip | |
profiles/compile: move static to correct profile
Diffstat (limited to 'virtual/linux-sources/linux-sources-4.ebuild')
0 files changed, 0 insertions, 0 deletions