aboutsummaryrefslogtreecommitdiffstats
path: root/lib/tools/doc/src
diff options
context:
space:
mode:
authorLukas Larsson <[email protected]>2018-12-10 11:03:38 +0100
committerGitHub <[email protected]>2018-12-10 11:03:38 +0100
commit1fda01cb73f7f22cccf4de29a739397a9b86eda3 (patch)
tree100c334533d34d3ab68ae8069c741b32aae749df /lib/tools/doc/src
parent4c91f4bbb5bbfcc942ee741a3069ade433fb9872 (diff)
parent6ad400e9a5108eca5f408a65cf227d67ad0bef33 (diff)
downloadotp-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