From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 20 Jun 2017 15:58:25 +0000 (+0200)
Subject: move girard
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=3c024a91109657088eda0f858be639c8d40c451c;p=cubicaltt.git

move girard
---

diff --git a/examples/girard.ctt b/experiments/girard.ctt
similarity index 100%
rename from examples/girard.ctt
rename to experiments/girard.ctt