aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-01-18 13:50:47 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-01-18 13:50:47 +0200
commit58b81785fcdd666b06a8d9ce47e7c8544decc97c (patch)
tree3ff46b2b9650e5485bb2abc574da068168fb595b /doc/.gitignore
parent83379733edbb4f3ee44fa7002269b571518587b8 (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