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/doc/src/driver.xml | |
| 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/doc/src/driver.xml')
0 files changed, 0 insertions, 0 deletions