diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-21 10:50:35 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-21 10:50:35 +0200 |
| commit | ee6ec1f55d1557101341ac7a02cf5985aaed63e1 (patch) | |
| tree | cec91eba086f75359b5aecc5b570791e732b0ca1 /.gitmodules | |
| parent | 44e0e005959cc4c5f189cda59bb2f61dc4f8a63a (diff) | |
-fix bug in sync
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions