diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-19 15:19:16 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-19 15:19:16 +0200 |
| commit | 7297a007189a8763c082fe75a1da83fcb8c0ed27 (patch) | |
| tree | ff92d436422fa8204dae4e84491d008028c5738b /doc/.gitignore | |
| parent | 5e89331114c7163dee70b8b0acf1cf59131ee6ce (diff) | |
Adjust to generalized build.sh --make option semantics
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions