diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-12-01 13:31:45 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-12-01 13:31:45 +0100 |
| commit | f1639c09a22ab5d1453153946bde7f3df62ffb36 (patch) | |
| tree | 337fc378774338e4f01afe91049b48a792db62b0 /.gitmodules | |
| parent | 97afbf1ea594748eafcda0f0cbd0f170d2d05015 (diff) | |
implement #5740
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions