chiark / gitweb /
new flirt from ceb
authorMatthew Vernon <matthewv@chiark.greenend.org.uk>
Fri, 27 Jan 2012 15:23:40 +0000 (15:23 +0000)
committerMatthew Vernon <matthewv@chiark.greenend.org.uk>
Fri, 27 Jan 2012 15:23:40 +0000 (15:23 +0000)
flirts

diff --git a/flirts b/flirts
index 9711f5829d817ba3847635e54379e329bf636c2b..9e6d76928ccf162619344fc0d479bcfff1c24599 100644 (file)
--- a/flirts
+++ b/flirts
@@ -207,3 +207,4 @@ checks %s's topology
 checks %s for topological defects
 inducts over %s
 finds %s's fixed point
+integrates over %s