diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-01 13:55:23 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-01 13:55:23 +0200 |
| commit | e914afb412e8112ebf260a1000fde8ab1d91517a (patch) | |
| tree | 00c19c45d3027f291cb2368aa2a01a5f797fdaec /configure.py | |
| parent | cd5581b4d9a957214162d1a67a8dfef47bda1003 (diff) | |
pass all arguments
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions