diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-03-06 13:21:44 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-06 13:21:44 +0800 |
| commit | 5886bc5996537fbf00d1fcfbb29595b8ccc9743e (patch) | |
| tree | 4b4e89980d70f23f17c03a99623c8685824aaece /doc/manual/command-ref/conf-file.xml | |
| parent | b71e1fb342b2344b738733698b20c5ec03dabe5a (diff) | |
| parent | fff8db205c393c53e42326f274b322eb70259250 (diff) | |
Merge pull request #2710 from volth/patch-6
canBuildLocally: check for features
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions