From 768ae4b0f832534440d58b87b42962b6f5a7de3a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 29 Aug 2002 12:08:08 +0000
Subject: Deleted files.

---
 images/isabelle_transparent.gif | Bin 9365 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 images/isabelle_transparent.gif

(limited to 'images/isabelle_transparent.gif')

diff --git a/images/isabelle_transparent.gif b/images/isabelle_transparent.gif
deleted file mode 100644
index f541024f..00000000
Binary files a/images/isabelle_transparent.gif and /dev/null differ
-- 
cgit v1.2.3