diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-02-13 10:09:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-13 10:09:31 +0100 |
| commit | 25722bd39aece28a3ab8ef05fa14cece37b8c8fe (patch) | |
| tree | 949694cbe850b79001cba63612a63d2d2481dc1f /doc | |
| parent | 7a7ec2229834aa294b3e09df7f514b7134287ec2 (diff) | |
| parent | 7ce1fae59f6cb4341f61a48a5216cb252e4eca54 (diff) | |
Merge pull request #2677 from matthewbauer/disable-shared
Support --disable-shared flag.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions