]> git.xn--bdkaa.com Git - cubicaltt-web.git/commitdiff
move girard
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 20 Jun 2017 15:58:25 +0000 (17:58 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 20 Jun 2017 15:58:25 +0000 (17:58 +0200)
experiments/girard.ctt [moved from examples/girard.ctt with 100% similarity]

similarity index 100%
rename from examples/girard.ctt
rename to experiments/girard.ctt