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 | |
| 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
| -rw-r--r-- | erts/doc/src/time_correction.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/doc/src/time_correction.xml b/erts/doc/src/time_correction.xml index 77e7a40529..53b555387c 100644 --- a/erts/doc/src/time_correction.xml +++ b/erts/doc/src/time_correction.xml @@ -940,7 +940,7 @@ EventTag = {Time, UMI}</code> </item> <item> <seealso marker="erlang#system_info_os_system_time_source"> - <c>erlang:system_info(os_system_time_source)</c></seealso>) + <c>erlang:system_info(os_system_time_source)</c></seealso> </item> </list> |