diff options
| author | Kenji Maillard | 2019-10-31 14:40:01 +0100 |
|---|---|---|
| committer | Kenji Maillard | 2019-10-31 17:04:19 +0100 |
| commit | e29ffc8c2dac2f9ea96541e95f027e29c0810499 (patch) | |
| tree | 15fda15b99514b94feec343f7c1722a73f024579 /dev/base_include | |
| parent | bc70919118fe5450c3bb798632d64823659f4814 (diff) | |
enforcing Ltac2 constructor name are uppercased
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions