aboutsummaryrefslogtreecommitdiff
path: root/doc/README
diff options
context:
space:
mode:
authorMax Bolingbroke <batterseapower@hotmail.com>2011-08-26 08:27:45 +0100
committerMax Bolingbroke <batterseapower@hotmail.com>2011-08-26 08:27:45 +0100
commitd26620748326adf9cffc64dce0fbc9d069894b3e (patch)
tree2ba600a9346c3654b1f18ccb30506b5bce86acd5 /doc/README
parentfb11671ea6927db9b4f48d8e59546218c90acdca (diff)
Rename factKind to constraintKind
Diffstat (limited to 'doc/README')
0 files changed, 0 insertions, 0 deletions