Rename truncP to inh
authorAuke Booij <auke@tulcod.com>
Thu, 2 Jun 2016 22:44:11 +0000 (23:44 +0100)
committerAuke Booij <auke@tulcod.com>
Thu, 2 Jun 2016 22:44:11 +0000 (23:44 +0100)
commitff8a026126d21b917a8bd69c1410ccbddadd0c19
tree05ca344520153524fcd1d268a03cd37263245ed5
parent90a9c20cb57955c637c2983271e70430295d3754
Rename truncP to inh
examples/propTrunc.ctt