diff options
| author | Pierre Letouzey | 2016-02-26 20:01:18 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2016-02-26 20:17:45 +0100 |
| commit | 20adaabfa96744442f201287e2900b1575614577 (patch) | |
| tree | b6b3de973bcc250a653f8605032abc5ababfeecb /plugins/pluginsbyte.itarget | |
| parent | ea05377f19404e0627a105b07c10ce72fb010af9 (diff) | |
Qcanon : fix names of lemmas Qcle_alt & Qcge_alt (were Qle_alt & Qge_alt)
Diffstat (limited to 'plugins/pluginsbyte.itarget')
0 files changed, 0 insertions, 0 deletions