diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-04 10:09:17 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-04 10:09:17 +0200 |
| commit | c1575167f7d813e01fffb26b2b7df9cb22ecbcbc (patch) | |
| tree | a1b6027c1b5b0f3b0a141242c678f5287c5a53d9 /INSTALL | |
| parent | 4a031a692b962483d9ebc04f6d2526e192f1c7cd (diff) | |
fix make dist
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions