diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-09-17 10:03:48 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-09-17 10:03:48 +0200 |
| commit | a18011012d27a183965baf5c95110598758b757f (patch) | |
| tree | beea600a3abc2026b0eb1f1105b9381aaadb2e23 /.gitmodules | |
| parent | 7914d7c7e304efe9cc84ff6d01e52f6db28f4188 (diff) | |
make URLs case-sensitive
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions