diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2021-02-22 11:06:33 +0100 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2021-02-22 11:06:33 +0100 |
| commit | 23907e6f193636c4907d0ccdb9a886fff63ab275 (patch) | |
| tree | 4f5d028e361ac7cab17a1223b97df44673c06cf2 /thirdparty/doctest/doctest.h | |
| parent | d4d753552495dda0eefcdd69228eb4ed4ddc5447 (diff) | |
Make glue generation shutdown more graceful
Diffstat (limited to 'thirdparty/doctest/doctest.h')
0 files changed, 0 insertions, 0 deletions