diff options
| author | Kenji Maillard | 2020-12-04 20:38:16 +0100 |
|---|---|---|
| committer | Kenji Maillard | 2020-12-04 20:41:24 +0100 |
| commit | 723d695e86cc74ab11edb97acdfced0566be7131 (patch) | |
| tree | bf097517bd4b7afba5da7fc6dafc6a8b810fe2b5 /dev | |
| parent | 751afe3f52e52f14cf0972498d84722519dd91e7 (diff) | |
turn Ltac2's `pattern:` into `pat:`
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions