diff options
| author | Théo Zimmermann | 2020-11-19 17:18:42 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-19 17:18:42 +0100 |
| commit | ff1fe87cc1512e6808b1d06ba2e8e2dbfa50d877 (patch) | |
| tree | 05953e1e752fcb37a9a20188443bdfce74fad832 /pretyping/evarconv.ml | |
| parent | 3037172c80190b74b2c0f3017420cc871e74c996 (diff) | |
Fix typo in rst link syntax.
Diffstat (limited to 'pretyping/evarconv.ml')
0 files changed, 0 insertions, 0 deletions