diff options
author | Rickard Green <[email protected]> | 2018-08-20 15:32:30 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-08-20 15:32:30 +0200 |
commit | f2fec6ae41ba9300404614e96b3833613ee1db0d (patch) | |
tree | 3a07a846101be943a2f749c99284db2aa482ad5e /erts/info.src | |
parent | 4197110f6811de1677f167e6ffd4efc54c807f0c (diff) | |
parent | ded95242ba01c3e21e47cf6594fa73ba3fb16ad7 (diff) | |
download | otp-f2fec6ae41ba9300404614e96b3833613ee1db0d.tar.gz otp-f2fec6ae41ba9300404614e96b3833613ee1db0d.tar.bz2 otp-f2fec6ae41ba9300404614e96b3833613ee1db0d.zip |
Merge pull request #1934 from marianoguerra/fix-extra-closing-parenthesis
erts/time_correction.xml: remove extra closing parenthesis
Diffstat (limited to 'erts/info.src')
0 files changed, 0 insertions, 0 deletions