diff options
author | Björn Gustavsson <[email protected]> | 2017-03-13 10:12:57 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2017-03-13 10:12:57 +0100 |
commit | ee1ad99648316f4dc15d872804dfa52990e0240f (patch) | |
tree | c295fd982f3d060215f24069bb7c11d241ea0555 /erts/emulator | |
parent | 35e38c97f5f731e3b1689b0740efa305bac9d16e (diff) | |
parent | 9ad1fd887b0f5989933b5ad82fbb1acbce72e4b5 (diff) | |
download | otp-ee1ad99648316f4dc15d872804dfa52990e0240f.tar.gz otp-ee1ad99648316f4dc15d872804dfa52990e0240f.tar.bz2 otp-ee1ad99648316f4dc15d872804dfa52990e0240f.zip |
Merge branch 'bjorn/doc/follow-dtd'
* bjorn/doc/follow-dtd:
retired_myths.xml: Move marker to adhere to DTD
Diffstat (limited to 'erts/emulator')
0 files changed, 0 insertions, 0 deletions