diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-18 13:50:47 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-18 13:50:47 +0200 |
| commit | 58b81785fcdd666b06a8d9ce47e7c8544decc97c (patch) | |
| tree | 3ff46b2b9650e5485bb2abc574da068168fb595b /doc/.gitignore | |
| parent | 83379733edbb4f3ee44fa7002269b571518587b8 (diff) | |
Generate INSTALL with cli
Note that we check in the generated INSTALL into the repository for people
who prefer git clone to packaged distributions.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions