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