diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-04-09 01:56:24 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-04-09 01:56:24 +0200 |
commit | df893df505683aef0d2f484944e417ec1bcdf4aa (patch) | |
tree | 54699b8c470408571d53ac803b7636cb03c65cde /.gitmodules | |
parent | 43e9ac94719de85de232fc976420e7f18e073d93 (diff) |
fix make dist rules
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions