diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-09-05 21:00:48 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-09-07 21:05:05 +0200 |
| commit | 359ddc68ea519108c3cf05c7a6eaff02217e979f (patch) | |
| tree | 38056fae8806c04471aefc61bcdd0ce5cd088d8f /src/GDB.hs | |
| parent | b43f0b18bdb4580443c8c6d4bbdf5c86d6afbeeb (diff) | |
Always use plain decimal notation in JUnit report times
Diffstat (limited to 'src/GDB.hs')
0 files changed, 0 insertions, 0 deletions