diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-27 00:19:57 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-27 00:19:57 -0700 |
commit | 8f11851e2ba5c70834faa980cb13790a5a828494 (patch) | |
tree | 274dc87b32e68937143dba709f4b72c6480f87f1 /src/expr/term_canonize.cpp | |
parent | fa833542f0e96187b3a02c4e15ec33ba45428b62 (diff) |
Update NEWS post 1.8 release
Diffstat (limited to 'src/expr/term_canonize.cpp')
0 files changed, 0 insertions, 0 deletions