diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-12-10 23:02:01 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-12 11:20:30 +0100 |
commit | a9efdae884ca14a180e049ef47897ec04c411247 (patch) | |
tree | 2c542f54711584a71f9e6c662dc54dcf993216ee /configure.ml | |
parent | a1f135553d121234af0441b4dea25f5c479975c1 (diff) |
Further clean-up in Reductionops, removing unused lift arguments.
This is a follow-up on 866b449c497933a3ab1185c194d8d33a86c432f2.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions