diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-04-09 12:42:00 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-04-09 12:42:00 +0200 |
| commit | 714b0ef777cf0ef736a80f070936716609ccade3 (patch) | |
| tree | 494e3f7ab7c8eb978b32a566899392192c6fdc03 /.gitmodules | |
| parent | 62d51f642482120eb2fca70d841e393cba24ac34 (diff) | |
bump configure versionv0.10.1
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions