diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-02-08 15:02:54 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-02-08 15:02:54 +0200 |
| commit | 8397957451972d36434625f8853718655d656b1f (patch) | |
| tree | 57d8fa5673b760cc78d54a29243b61c5186c5acb /doc/.gitignore | |
| parent | 813f60db0b7713a376f44c59f940d4ebc1c1dfdf (diff) | |
Update build script to update for install
This omits building tests.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions