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 /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 'configure.in')
0 files changed, 0 insertions, 0 deletions