diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-05-09 09:14:46 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-05-09 09:14:46 +0200 |
| commit | 19a787a1a96c8a7eb4275881b19cc59f8f2f2c99 (patch) | |
| tree | 320225719914a94845ef905b6c99c81a7e5b5ba0 /media-sound/pulsemixer | |
| parent | f6de33d9b8231e06157098bf3371f36c35c69407 (diff) | |
| download | gentoo-personal-overlay-19a787a1a96c8a7eb4275881b19cc59f8f2f2c99.tar.gz gentoo-personal-overlay-19a787a1a96c8a7eb4275881b19cc59f8f2f2c99.tar.bz2 gentoo-personal-overlay-19a787a1a96c8a7eb4275881b19cc59f8f2f2c99.zip | |
Add gnu time to devel profile
Diffstat (limited to 'media-sound/pulsemixer')
0 files changed, 0 insertions, 0 deletions