Deleted core!
authorMartin Read <mpread@chiark.greenend.org.uk>
Sat, 8 Mar 2014 20:04:59 +0000 (20:04 +0000)
committerMartin Read <mpread@chiark.greenend.org.uk>
Sat, 8 Mar 2014 20:04:59 +0000 (20:04 +0000)
core [deleted file]

diff --git a/core b/core
deleted file mode 100644 (file)
index d0f1bff..0000000
Binary files a/core and /dev/null differ