From cfdca88d6bfa41d0d51320f2d8de6e6483c3feb8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Apr 2010 09:42:13 +0000
Subject: Test update

---
 README | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README b/README
index c4e23dba..fcd61bed 100644
--- a/README
+++ b/README
@@ -43,3 +43,5 @@ at: http://proofgeneral.inf.ed.ac.uk
 
 David Aspinall <da+pg-feedback@inf.ed.ac.uk>
 April 2010.
+
+
-- 
cgit v1.2.3