aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2006-09-22 15:27:20 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2006-09-22 15:27:20 +0000
commit055a2245b1b7831b0236cc0c9f82649d0494ac18 (patch)
tree31f82ce11df9186ca1f231eb577da709534da44a /lego
parentfe9c3183678fb385a5cf65a5afda7a06ec64ea98 (diff)
Deleted file
Diffstat (limited to 'lego')
-rw-r--r--lego/readonly/readonly.l1
1 files changed, 0 insertions, 1 deletions
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