diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-01-21 18:10:37 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-01-21 18:10:37 +0100 |
| commit | aadd06b4eeadc76805a4d30b8dee31cf6bfccd9f (patch) | |
| tree | 098581d8c3bac7917c35e7d3b98b4d3c4e310e08 /.gitmodules | |
| parent | 5f3116d324f4b475365b9a8729a69851419229c3 (diff) | |
-polishing
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions