diff options
| author | Kenji Maillard | 2020-07-19 16:55:29 +0200 |
|---|---|---|
| committer | Kenji Maillard | 2020-07-19 16:55:29 +0200 |
| commit | e9061bb414dfebad5bdf2efe634030563f8a2381 (patch) | |
| tree | b6250d350a365d3f237dce4f107f2e03b4608cef /tools | |
| parent | e6d92a9765f84c80f8c6a102fe5480490c747313 (diff) | |
| parent | bece6859bf6ee3e652c2e6e5596312580edc7e1d (diff) | |
Merge PR #12680: Better location for match! pattern variables in Ltac2.
Reviewed-by: kyoDralliam
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions