diff options
author | 2018-03-02 15:50:32 +0100 | |
---|---|---|
committer | 2018-04-17 16:29:07 +0200 | |
commit | dbc820f0df53218e730eba34b44a3b1901f13b9e (patch) | |
tree | 11720b5f35bbc51202eec80e27eca14e32f8064c /dev/tools/pre-commit | |
parent | 3e7863e9369d38537685576a8642dbe0c062d0c5 (diff) |
Deprecate mixing univ minimization and evm normalization functions.
Normalization sounds like it should be semantically noop.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions