| commit | 96a09df64483b70c4215c7025a19b9d2f1636c55 | [log] [tgz] |
|---|---|---|
| author | Andre Delfino <adelfino@gmail.com> | Thu Dec 17 14:25:55 2020 -0300 |
| committer | GitHub <noreply@github.com> | Thu Dec 17 09:25:55 2020 -0800 |
| tree | fd26f8d4ccd9acd170e42802efd65b255d1f8d9e | |
| parent | bf353f3c2d937772a8cf30b15fd8eb7b82665ccb [diff] [blame] |
[doc] Fix a few margins due to bad markup (GH-23619)
diff --git a/Doc/library/platform.rst b/Doc/library/platform.rst index fc51b5d..be86e56 100644 --- a/Doc/library/platform.rst +++ b/Doc/library/platform.rst
@@ -290,4 +290,4 @@ ids.extend(info["ID_LIKE"].split()) return ids - .. versionadded:: 3.10 + .. versionadded:: 3.10