| commit | 552951563cd5968d25e95306362e41f07d661a88 | [log] [tgz] |
|---|---|---|
| author | Julien Palard <julien@palard.fr> | Sun Jun 16 10:25:05 2019 +0200 |
| committer | GitHub <noreply@github.com> | Sun Jun 16 10:25:05 2019 +0200 |
| tree | f5bb01f3b0572e6318276f6d2b9297fd24da5909 | |
| parent | 8047e0e1c620f69cc21f9ca48b24bf2cdd5c3668 [diff] |
Doc: Remove an ugly space before a dot. (GH-14123)