diff options
| author | Théo Zimmermann | 2019-11-08 11:20:40 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-11-08 11:20:40 +0100 |
| commit | ae7d7e162f3febcad5dd8678f3369cbecccf8f43 (patch) | |
| tree | 05bfcf1b3518a470f11d275480740abc88467bc1 /plugins/syntax/plugin_base.dune | |
| parent | 64ddd9ac0c34e560a0640297e2e23b6aaf074810 (diff) | |
| parent | 7233d98a79894c6be1cbe99d003982b0f6a5c37b (diff) | |
Merge PR #11042: The "univ poly can capture global univs" checker side bug is fixed
Reviewed-by: Zimmi48
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions