diff options
| author | Lukas Larsson <[email protected]> | 2018-12-10 11:03:38 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-12-10 11:03:38 +0100 |
| commit | 1fda01cb73f7f22cccf4de29a739397a9b86eda3 (patch) | |
| tree | 100c334533d34d3ab68ae8069c741b32aae749df /lib/tools/doc/src | |
| parent | 4c91f4bbb5bbfcc942ee741a3069ade433fb9872 (diff) | |
| parent | 6ad400e9a5108eca5f408a65cf227d67ad0bef33 (diff) | |
| download | otp-1fda01cb73f7f22cccf4de29a739397a9b86eda3.tar.gz otp-1fda01cb73f7f22cccf4de29a739397a9b86eda3.tar.bz2 otp-1fda01cb73f7f22cccf4de29a739397a9b86eda3.zip | |
Merge pull request #2041 from michalmuskala/mm/configure-fix
Fix --without-APP config option
Diffstat (limited to 'lib/tools/doc/src')
0 files changed, 0 insertions, 0 deletions