From 35e8c8848ff520576d522cefa20dee220521e883 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Fri, 21 Oct 2016 14:21:40 -0400
Subject: [PATCH] comment

---
 utils/testall | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/utils/testall b/utils/testall
index dc55ad1..baa8da8 100755
--- a/utils/testall
+++ b/utils/testall
@@ -1,3 +1,5 @@
+# Script for checking that all files compile
+
 files="binnat bool category circle collection csystem demo discor
        equiv groupoidTrunc hedberg helix hnat hz idtypes injective int
        integer interval list nat ordinal pi prelude propTrunc retract
-- 
2.34.1