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 /doc | |
| parent | 43e9ac94719de85de232fc976420e7f18e073d93 (diff) | |
fix make dist rules
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions