diff options
author | Karel Kočí <karel.koci@nic.cz> | 2018-08-31 09:34:39 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2018-08-31 09:34:39 +0200 |
commit | 247f24ff95086ff8d2976d314db51aa4b95e7107 (patch) | |
tree | a55cdad0632807f05b28152b1bb066854832b2f5 /virtual/linux-sources | |
parent | b20068d7df1307a4e99c60610a447109f8302bfb (diff) | |
download | gentoo-personal-overlay-247f24ff95086ff8d2976d314db51aa4b95e7107.tar.gz gentoo-personal-overlay-247f24ff95086ff8d2976d314db51aa4b95e7107.tar.bz2 gentoo-personal-overlay-247f24ff95086ff8d2976d314db51aa4b95e7107.zip |
profiles: split off compile from devel
Diffstat (limited to 'virtual/linux-sources')
0 files changed, 0 insertions, 0 deletions