minor changes
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Jul 2016 13:30:54 +0000 (15:30 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Jul 2016 13:30:54 +0000 (15:30 +0200)
commitd43e2563c0b6b5e4b2d4aa8ae50b8707ef152a62
treef525dffbf36467cf58c4d047267d265d486ec7e8
parent75a9d719b1a5774ed64f18dfb98ba07130f59cb5
minor changes
examples/binnat.ctt
examples/nat.ctt
examples/setquot.ctt