diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-09-28 17:24:22 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-09-28 17:24:22 +0200 |
| commit | ca65443b8e6ab56a4aa18ca88a8125001006cd0c (patch) | |
| tree | f33941aa141f19f5fff8b5646192d61c9e5e1bad /media-sound | |
| parent | 9253efd988a7c9922cee69e4a0148f0c5618a506 (diff) | |
| download | gentoo-personal-overlay-ca65443b8e6ab56a4aa18ca88a8125001006cd0c.tar.gz gentoo-personal-overlay-ca65443b8e6ab56a4aa18ca88a8125001006cd0c.tar.bz2 gentoo-personal-overlay-ca65443b8e6ab56a4aa18ca88a8125001006cd0c.zip | |
dev-python/python-prctl: update to 1.7
Diffstat (limited to 'media-sound')
0 files changed, 0 insertions, 0 deletions