From b1be4000dec5bb5e43d2b1d81e4153bef0083b2a Mon Sep 17 00:00:00 2001
From: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Date: Fri, 27 Jan 2012 15:23:40 +0000
Subject: [PATCH] new flirt from ceb

---
 flirts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flirts b/flirts
index 9711f58..9e6d769 100644
--- 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
-- 
2.30.2