diff options
| author | gumi <git@gumi.ca> | 2019-05-06 09:56:15 -0400 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2019-05-06 09:56:15 -0400 |
| commit | fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45 (patch) | |
| tree | ba89e3dc41534b9ac26a18b99f3f24bd381ed01f /ci | |
| parent | b0f6fb4b280b11ba96edbd1841e0c060363130a0 (diff) | |
| download | tools-fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45.tar.gz tools-fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45.tar.bz2 tools-fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45.tar.xz tools-fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45.zip | |
allow to use valgrind/gdb on the test server wrapper
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions