diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-05-13 14:24:36 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-05-13 14:24:40 +0200 |
| commit | 046e353e128372f846c432a90ca9401506d37d5b (patch) | |
| tree | ec4f318fac89c2144211e58181b51f53d4cc3e55 /src/valgrind.sh | |
| parent | cmake: document _GNU_SOURCE usage (diff) | |
| download | cimple-046e353e128372f846c432a90ca9401506d37d5b.tar.gz cimple-046e353e128372f846c432a90ca9401506d37d5b.zip | |
ci_queue -> run_queue
Also, some minor refactoring.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions