diff options
author | Lukas Larsson <[email protected]> | 2019-06-17 08:31:51 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2019-06-17 08:31:51 +0200 |
commit | f77f8ba0509e5edd8ff89bd9313dfbb645f4140c (patch) | |
tree | 28eb85b31d1d6365ea32e2b508fd64025e15e2a1 /.gitignore | |
parent | bfc7e7aab9d08d0fc34a7ba85b3928af5f6578c6 (diff) | |
parent | 5140a22b03b010d3e8fae68f2f095b61c720939f (diff) | |
download | otp-f77f8ba0509e5edd8ff89bd9313dfbb645f4140c.tar.gz otp-f77f8ba0509e5edd8ff89bd9313dfbb645f4140c.tar.bz2 otp-f77f8ba0509e5edd8ff89bd9313dfbb645f4140c.zip |
Merge pull request #2289 from gomoripeti/doc_message_in_trace
Document extra message element also where trace message format is described
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions