diff options
| author |  David <david003@gmx.net> | 2022-07-16 15:47:20 +0200 |
|---|---|---|
| committer | David <david003@gmx.net> | 2022-07-16 15:47:20 +0200 |
| commit | ea7596edf57149b3c3f84378276c9d0558aed050 (patch) | |
| tree | 591680281666791cf24c116d6fef9559bb201bca /bin/x86_64-pc-windows-gnu/.gitkeep | |
| parent | 635cfebff3ec0ce5b74ac728a5655339755efe39 (diff) | |
| download | 2022-ea7596edf57149b3c3f84378276c9d0558aed050.tar.gz 2022-ea7596edf57149b3c3f84378276c9d0558aed050.tar.bz2 2022-ea7596edf57149b3c3f84378276c9d0558aed050.zip | |
better stopping detection
Diffstat (limited to 'bin/x86_64-pc-windows-gnu/.gitkeep')
0 files changed, 0 insertions, 0 deletions