diff options
author | Karel Kočí <karel.koci@nic.cz> | 2017-06-26 13:01:48 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2017-06-26 13:01:48 +0200 |
commit | 01bc7308e686af1be216bc62eaae41dbb0f79b72 (patch) | |
tree | aff05ee9fd859843a0266e2776bb818f4d700138 /profiles/desktop | |
parent | b1539dcc35f096f1b7791ed1b93619f031d8c1b9 (diff) | |
download | gentoo-personal-overlay-01bc7308e686af1be216bc62eaae41dbb0f79b72.tar.gz gentoo-personal-overlay-01bc7308e686af1be216bc62eaae41dbb0f79b72.tar.bz2 gentoo-personal-overlay-01bc7308e686af1be216bc62eaae41dbb0f79b72.zip |
Add valgrind to devel profile
Diffstat (limited to 'profiles/desktop')
0 files changed, 0 insertions, 0 deletions