diff options
author | Lukas Larsson <[email protected]> | 2018-08-16 10:36:41 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-08-16 10:36:41 +0200 |
commit | cb7b7275fdaf08429468a89142763d21a97370c2 (patch) | |
tree | e5ac4381e48da427521ed555b81f361fc82fc461 /lib/stdlib/doc/src/ref_man.xml | |
parent | dacfafd97ed955b9c567f0efbc8553286360b0d2 (diff) | |
parent | ce7e5e9c26efa1f907b152a4f6d223e0080542d1 (diff) | |
download | otp-cb7b7275fdaf08429468a89142763d21a97370c2.tar.gz otp-cb7b7275fdaf08429468a89142763d21a97370c2.tar.bz2 otp-cb7b7275fdaf08429468a89142763d21a97370c2.zip |
Merge pull request #1930 from marianoguerra/fix-emd2exml-encoding-value-gen-maint
fix generated encoding for xml files generated with emd2exml
Diffstat (limited to 'lib/stdlib/doc/src/ref_man.xml')
0 files changed, 0 insertions, 0 deletions