diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-01-27 12:15:37 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-27 12:15:43 +0100 |
commit | dffb7cbe2a0922e92d08040508226becd46f349c (patch) | |
tree | 9ce4f06ae683b327ce5c5ce0c5622291f7cb0f2e /LICENSE | |
parent | c0a3b1a4a71af08398d561698765206a54114593 (diff) |
first try to move wired-in constraint reductions into the library
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions