diff options
| author | coqbot-app[bot] | 2020-11-19 18:56:48 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-19 18:56:48 +0000 |
| commit | c7686fe3ddd90ea707411296bbc9ec0b8cc99a2c (patch) | |
| tree | 05953e1e752fcb37a9a20188443bdfce74fad832 /pretyping | |
| parent | 3037172c80190b74b2c0f3017420cc871e74c996 (diff) | |
| parent | ff1fe87cc1512e6808b1d06ba2e8e2dbfa50d877 (diff) | |
Merge PR #13421: Fix typo in rst link syntax.
Reviewed-by: jfehrle
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions