diff options
author | Raimo Niskanen <[email protected]> | 2018-06-13 09:48:32 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2018-06-13 09:48:32 +0200 |
commit | b3cab2b6ab41bff5807ce77dca986c7512fbcec7 (patch) | |
tree | 13e47f113d1abdb87390a3802a6b940b05c6c692 /lib/tools/doc/specs/.gitignore | |
parent | 78100134e1fa6948dc19058c27ddab4ac1aa0e8c (diff) | |
parent | 052a5e0149dcbc63e9b93003f1351cba86990228 (diff) | |
download | otp-b3cab2b6ab41bff5807ce77dca986c7512fbcec7.tar.gz otp-b3cab2b6ab41bff5807ce77dca986c7512fbcec7.tar.bz2 otp-b3cab2b6ab41bff5807ce77dca986c7512fbcec7.zip |
Merge branch 'raimo/stdlib/gen_statem-dev/OTP-14015'
* raimo/stdlib/gen_statem-dev/OTP-14015:
Show state changes in sys:trace
Diffstat (limited to 'lib/tools/doc/specs/.gitignore')
0 files changed, 0 insertions, 0 deletions