diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-07-09 11:30:00 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-07-09 11:30:00 +0200 |
| commit | d7598dab7e918b52bb58d91190660fee389a95b2 (patch) | |
| tree | f04ed6dc2c8f40bb7c72186c4e95871a9ecccbd2 /profiles/desktop/x | |
| parent | 2663384c967a201b51930c2032bb682858487d22 (diff) | |
| download | gentoo-personal-overlay-d7598dab7e918b52bb58d91190660fee389a95b2.tar.gz gentoo-personal-overlay-d7598dab7e918b52bb58d91190660fee389a95b2.tar.bz2 gentoo-personal-overlay-d7598dab7e918b52bb58d91190660fee389a95b2.zip | |
Add python coverage to devel profile
Diffstat (limited to 'profiles/desktop/x')
0 files changed, 0 insertions, 0 deletions