diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-09-24 15:18:19 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-09-24 15:18:19 +0200 |
| commit | 3ce27caf1535c02e4549f298f0a3c5b31b70aeac (patch) | |
| tree | d1cd95bca40c06240627d557d1a6d924c43add8d /.gitmodules | |
| parent | 13c07caef2255710939547026ec22ec630fa6a18 (diff) | |
tab
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions