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 /virtual/linux-sources | |
| 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 'virtual/linux-sources')
0 files changed, 0 insertions, 0 deletions