diff options
| author | Théo Zimmermann | 2020-02-26 19:48:33 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-02-26 19:48:33 +0100 |
| commit | 0e70be7868bdc500212631a956b01e94565cd2c3 (patch) | |
| tree | 236d006502e9c9d052bc7630e1626d04994551d6 /interp/notation_ops.ml | |
| parent | 4b9250db36d568dc6a112711431089f2b638c2a8 (diff) | |
| parent | b0cc8f42df0a2a6acdcaefec9f03477f95e99c2c (diff) | |
Merge PR #11687: Fix changelog for https://github.com/coq/coq/pull/11686
Reviewed-by: Zimmi48
Diffstat (limited to 'interp/notation_ops.ml')
0 files changed, 0 insertions, 0 deletions