diff options
| author | Enrico Tassi | 2020-02-05 16:38:47 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-02-05 16:38:47 +0100 |
| commit | b468bb9e7110be4e1a1c9b13da16720b64d1125e (patch) | |
| tree | 9d747989e0423fa44896f3f327bc4858e856c47f /dev | |
| parent | 238b0cb82a1e66332131f10de79f4abe55d4b0b2 (diff) | |
[cleanup] remove useless EConstr qualifications
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions