aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-10-19 15:19:16 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-10-19 15:19:16 +0200
commit7297a007189a8763c082fe75a1da83fcb8c0ed27 (patch)
treeff92d436422fa8204dae4e84491d008028c5738b /doc/.gitignore
parent5e89331114c7163dee70b8b0acf1cf59131ee6ce (diff)
Adjust to generalized build.sh --make option semantics
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions