diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-05-04 00:32:57 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-05-04 00:32:57 +0200 |
| commit | a952c2ebd438a9102cb8735fdd0580394747a68d (patch) | |
| tree | a86ab059ed60ce472fbc9c3989c6ba18042e567d /profiles/devel/package.use | |
| parent | fdc0a0ed5db281196c3c096b91c061228ceb8113 (diff) | |
| download | gentoo-personal-overlay-a952c2ebd438a9102cb8735fdd0580394747a68d.tar.gz gentoo-personal-overlay-a952c2ebd438a9102cb8735fdd0580394747a68d.tar.bz2 gentoo-personal-overlay-a952c2ebd438a9102cb8735fdd0580394747a68d.zip | |
linux: version 3.10.14-r1 and add revisions support
Diffstat (limited to 'profiles/devel/package.use')
0 files changed, 0 insertions, 0 deletions