diff options
author | Lukas Larsson <[email protected]> | 2018-05-03 10:04:55 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2018-05-03 10:04:55 +0200 |
commit | 6654d76303a1be3fc8bab368a58e2d0068fad2c0 (patch) | |
tree | f31fda4f79fb36185abe01e657dc956d96344b20 /prebuild.skip | |
parent | 7588c6f850c59ef2fa338b38ac1cf141af4f69f2 (diff) | |
parent | 30bc7fe1411fc97c733ec9d41ce57f3200a6e542 (diff) | |
download | otp-6654d76303a1be3fc8bab368a58e2d0068fad2c0.tar.gz otp-6654d76303a1be3fc8bab368a58e2d0068fad2c0.tar.bz2 otp-6654d76303a1be3fc8bab368a58e2d0068fad2c0.zip |
Merge branch 'lukas/kernel/logger-docs'
* lukas/kernel/logger-docs:
Add xmllint to travis build
kernel: Use formatter in simple logger example
Diffstat (limited to 'prebuild.skip')
0 files changed, 0 insertions, 0 deletions