diff options
| author | Clément Pit-Claudel | 2020-06-07 13:34:13 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-06-07 13:34:13 -0400 |
| commit | 761261041ee4c0f44c536d4ea18037c1ccaed2a4 (patch) | |
| tree | f5a8dbc53c7d1d0f6cff86fb184039abab70ccf8 /kernel/nativecode.mli | |
| parent | aad87d7e7d7b68b13e33f58b8d5b5a6f824d3f38 (diff) | |
[sphinx] Fix regexp used in coqdomain.CoqtopBlocksTransform.split_lines
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions