diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-26 08:27:45 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-26 08:27:45 +0100 |
| commit | d26620748326adf9cffc64dce0fbc9d069894b3e (patch) | |
| tree | 2ba600a9346c3654b1f18ccb30506b5bce86acd5 /.authorspellings | |
| parent | fb11671ea6927db9b4f48d8e59546218c90acdca (diff) | |
Rename factKind to constraintKind
Diffstat (limited to '.authorspellings')
0 files changed, 0 insertions, 0 deletions