Clean setquot
authorAnders Mörtberg <andersmortberg@gmail.com>
Fri, 11 Dec 2015 21:14:57 +0000 (16:14 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 11 Dec 2015 21:14:57 +0000 (16:14 -0500)
commit5c24e27b82934042ca92aafdeff70819c2c9e038
tree8cdf4fc9984ec2374564802b802ce2622ff12a41
parent9b2c36453f6ef6527f84008a6843a1d2d1cf3de5
Clean setquot
examples/prelude.ctt
examples/setquot.ctt
examples/shortsetquot.ctt [deleted file]