aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-10-19 15:15:41 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-10-19 15:26:26 +0200
commit3c1a4fa9ea692da7f451cb0d847b62dcf3e69c38 (patch)
tree624b2a32f55012a6fc88041c675db5a17c39396e /doc/.gitignore
parentf483533b03ae7a04dc96adc489938c25b7e379de (diff)
Generalize --make argument to build.sh
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions