From 055a2245b1b7831b0236cc0c9f82649d0494ac18 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 22 Sep 2006 15:27:20 +0000
Subject: Deleted file

---
 lego/readonly/readonly.l | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 lego/readonly/readonly.l

(limited to 'lego')

diff --git a/lego/readonly/readonly.l b/lego/readonly/readonly.l
deleted file mode 100644
index 11719f49..00000000
--- a/lego/readonly/readonly.l
+++ /dev/null
@@ -1 +0,0 @@
-Module readonly;
\ No newline at end of file
-- 
cgit v1.2.3