diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2020-08-10 08:29:56 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2020-08-10 08:29:56 +0200 |
| commit | c1798f49be0a0e4b0e643c5d34795d3aa2997918 (patch) | |
| tree | 6650685b64b15b814b3f74f6f939094011411f68 /media-sound/txppm | |
| parent | 41506ced1de5c2af6c6556fb3bd26963511deda0 (diff) | |
| download | gentoo-personal-overlay-c1798f49be0a0e4b0e643c5d34795d3aa2997918.tar.gz gentoo-personal-overlay-c1798f49be0a0e4b0e643c5d34795d3aa2997918.tar.bz2 gentoo-personal-overlay-c1798f49be0a0e4b0e643c5d34795d3aa2997918.zip | |
profiles/devel: add gdb and cgdb
How did it happen that I do not have gdb? Wtf..
Diffstat (limited to 'media-sound/txppm')
0 files changed, 0 insertions, 0 deletions