diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-09-20T16·13+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-20T16·13+0200 |
commit | 3fcfd899f829da15b73fde233d249b4a98aee36e (patch) | |
tree | f86e5610a761a36a1c2698c8d06ea2af1f03402d /src/libstore/download.cc | |
parent | beaefdf70648776cf83f80daf146eb774ff4c20c (diff) | |
parent | 7ef053c6327441bc7306ff6ee12fde2a42301ab4 (diff) |
Merge pull request #1066 from adevress/disable-doc
Add a new option to disable documentation generation at configure time
Diffstat (limited to 'src/libstore/download.cc')
0 files changed, 0 insertions, 0 deletions