diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-11-08 23:27:19 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-11-08 23:27:19 +0100 |
| commit | c17a9392cb7d64e25e2f0f55ac33af6103cf2a28 (patch) | |
| tree | 27b94697924a2fb1bf2b42b3f732c920185767d6 /build-system/configure.py | |
| parent | f27a85735d460a53a924d35dcff05a2157ac4b2d (diff) | |
fix typo
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions