diff options
| author | 0scar <qgt268@alumni.ku.dk> | 2023-07-28 20:12:31 +0000 |
|---|---|---|
| committer | 0scar <qgt268@alumni.ku.dk> | 2023-07-28 20:12:31 +0000 |
| commit | f18b3067ebeda2e59270da3754aa928f7ab1b050 (patch) | |
| tree | 6dc3190daeefeafd6097024219180a16f85084c5 /tools | |
| parent | 34b8c3b53bc38402e2c79ec77a486a462f76608d (diff) | |
Fix configuration bug
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions