diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-04-17 18:14:57 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-04-17 18:14:57 +0200 |
| commit | 1f7238fe7dbeb7a218b2a0bfaf26aa443b309681 (patch) | |
| tree | 3a8ae3df0c64d9b5af154e7df55d40c6020b1630 /configure.ac | |
| parent | f934a81d49274938a19f3db1b0829647133eb1fc (diff) | |
fix #6187
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions