diff options
| author | Gaëtan Gilbert | 2020-02-24 14:13:43 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-24 14:13:43 +0100 |
| commit | 5fd281945bdc60c2a88f60503663df32920ef83b (patch) | |
| tree | 25d22a66fa9464c7c5b1acc3075b6d6dfbc5294f /lib | |
| parent | b04f8948b167ef227372eeffe299462b6bde1f1b (diff) | |
| parent | 09252f6b060321985f2d82aa130ac7e3d6147025 (diff) | |
Merge PR #11588: test for x[i] notation not breaking Ltac parsing
Reviewed-by: tchajed
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions