summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2006-11-07 16:58:39 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2006-11-07 16:58:39 +0000
commit3157b60d734d1aa66f8c3605df6ee5955539d999 (patch)
treec888a2f4c0716d9db70295d7b7f38c16d58f0f95
parentaa41d2de89da4bf43d52fd12a191742ff9b668a0 (diff)
Remove dead PCRE file accidentally left around.
-rw-r--r--src/src/pcre/pcre_printint.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/src/pcre/pcre_printint.c b/src/src/pcre/pcre_printint.c
deleted file mode 100644
index 913d294ca..000000000
--- a/src/src/pcre/pcre_printint.c
+++ /dev/null
@@ -1,2 +0,0 @@
-/* $Cambridge: exim/src/src/pcre/pcre_printint.c,v 1.3 2006/11/07 16:50:36 ph10 Exp $ */
-