diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-31 18:58:59 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-31 18:58:59 +0200 |
| commit | bc7c9e686ed24acc8d690f32d184c516858c77a1 (patch) | |
| tree | adcfbb19cd7470cdafc794ab676dc3646b510d2f /.gitmodules | |
| parent | eb1fdc105cf2ea0afe3922e06b614622294d017f (diff) | |
implementing #3474
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions