diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-03-01 13:52:34 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-03-01 13:52:34 +0100 |
commit | 9b688d7cb096a3a8cd30d57384eb00eb5c42b4c5 (patch) | |
tree | e2bc34495061525adeca128d6edc4309cd713b7e /configure.ac | |
parent | 9ec23c6239a9c6719e69f01895341d34013472ea (diff) |
scope reduction, commenting
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions