diff options
| author | Björn Gustavsson <[email protected]> | 2018-08-15 06:02:58 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-08-15 06:02:58 +0200 |
| commit | e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75 (patch) | |
| tree | 3e066bb7395b97092c1dc09f49e1817575276d32 /lib/kernel/doc/src/.gitignore | |
| parent | f5fc1454633901cd3cceca45497692a623f0eef1 (diff) | |
| parent | fa8503ffb0ab910eef28ee973abb30ecab9ef114 (diff) | |
| download | otp-e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75.tar.gz otp-e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75.tar.bz2 otp-e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75.zip | |
Merge pull request #1928 from bettio/fix-remove_message_doc
remove_message does not store any pointer to x0
Diffstat (limited to 'lib/kernel/doc/src/.gitignore')
0 files changed, 0 insertions, 0 deletions