diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-11-18 11:18:17 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-18 11:18:17 -0800 |
| commit | 9f279be995da5f15a9a988fe93dc983401c28d95 (patch) | |
| tree | fa40415766fdf1d2dc35f0814139ccad61515f72 /man/man1 | |
| parent | db63ea9a07135568c44d537a9f2e999b210f0b9f (diff) | |
| parent | 9253cbff4f28651ec31ed1e1e714c9093a1ac222 (diff) | |
Merge pull request #250 from nwellnhof/test-static-only-build
Test static-only build
Diffstat (limited to 'man/man1')
0 files changed, 0 insertions, 0 deletions