diff options
author | Siri Hansen <[email protected]> | 2019-02-19 17:13:00 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2019-02-19 17:13:00 +0100 |
commit | c14e3dcce779feb3ef254a08acedae60108ad3ac (patch) | |
tree | 8ccb377dfa7a7d286e64a82bfd1c673606845b05 /erts/configure.in | |
parent | 80b04507b0456a73f2f2f001691cadb4cb3958e8 (diff) | |
parent | e92e76b615590f412aaaa97939d59f266c48da82 (diff) | |
download | otp-c14e3dcce779feb3ef254a08acedae60108ad3ac.tar.gz otp-c14e3dcce779feb3ef254a08acedae60108ad3ac.tar.bz2 otp-c14e3dcce779feb3ef254a08acedae60108ad3ac.zip |
Merge branch 'siri/logger/pretty-print-config/OTP-15600' into maint
* siri/logger/pretty-print-config/OTP-15600:
[logger] Add pretty print function for configuration
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions