diff options
| author | Pierre-Marie Pédrot | 2020-06-29 15:44:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-06-29 15:44:05 +0200 |
| commit | c2b76962b407cac8de4465be1e77cf45ff5822d9 (patch) | |
| tree | 45ab38a3e6c29e73e9c0e7849f69cb07e34a700f /pretyping/patternops.ml | |
| parent | 1221b56974398d96a7df833e7b32d4b7bc044338 (diff) | |
| parent | a6571b3ef7a13e996fbb07fbf7758aa7b3cc6a65 (diff) | |
Merge PR #12570: CoqIDE: fix lexing of UTF-8 in quotations like constr:()
Reviewed-by: ppedrot
Diffstat (limited to 'pretyping/patternops.ml')
0 files changed, 0 insertions, 0 deletions