diff options
| author | Théo Zimmermann | 2020-06-08 11:22:03 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-08 11:22:03 +0200 |
| commit | 3b030bff4c10b8d25635913cdc037df35f142813 (patch) | |
| tree | bdaa1955a1d352589cf92610484fcc113403b220 /doc/plugin_tutorial/tuto3 | |
| parent | 61744ac741b52d01467f3dec682b62fc241a95a5 (diff) | |
| parent | 761261041ee4c0f44c536d4ea18037c1ccaed2a4 (diff) | |
Merge PR #12477: [sphinx] Fix regexp used in coqdomain.CoqtopBlocksTransform.split_lines
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/plugin_tutorial/tuto3')
0 files changed, 0 insertions, 0 deletions