diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-08-14 14:42:58 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-08-14 14:42:58 +0200 |
| commit | d8256207a12ba665fbd2a6fb1ea0dc942530d318 (patch) | |
| tree | 3aaaa12a6f783943d0bc12173bbe1f0b9424aa27 /.gitmodules | |
| parent | e8ea6bf1e7d9f22a964a9e7e13bc68debb0a7954 (diff) | |
fix #6480
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions