diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-01-13 12:26:13 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-01-13 12:26:13 +0100 |
| commit | 3838296cd8cbfcf038ad3ae72bfa4978116d3070 (patch) | |
| tree | 3deb9829df8ca7879e6dec9671a064e983ab2f9c /media-sound | |
| parent | 5fadbc7d0c992615230226d72cd5a47d160d90e1 (diff) | |
| download | gentoo-personal-overlay-3838296cd8cbfcf038ad3ae72bfa4978116d3070.tar.gz gentoo-personal-overlay-3838296cd8cbfcf038ad3ae72bfa4978116d3070.tar.bz2 gentoo-personal-overlay-3838296cd8cbfcf038ad3ae72bfa4978116d3070.zip | |
desktop profile: add pdfgrep
Diffstat (limited to 'media-sound')
0 files changed, 0 insertions, 0 deletions