aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-02-08 15:02:54 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-02-08 15:02:54 +0200
commit8397957451972d36434625f8853718655d656b1f (patch)
tree57d8fa5673b760cc78d54a29243b61c5186c5acb /doc/.gitignore
parent813f60db0b7713a376f44c59f940d4ebc1c1dfdf (diff)
Update build script to update for install
This omits building tests.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions