diff options
author | Peter Powell <petpow@saberuk.com> | 2019-05-15 10:57:02 +0100 |
---|---|---|
committer | Peter Powell <petpow@saberuk.com> | 2019-05-15 10:58:45 +0100 |
commit | a55ca0056963159b0e4cbc88f28c5c82cd44b05e (patch) | |
tree | b96d7b0d4ae923dd1c3fe4c99719bcfee47f9a05 /.github | |
parent | ddc4f09bfbb335118222f54c30f13368c3340ef9 (diff) |
Document the --disable-auto-extras configure option.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions