]> granicus.if.org Git - php/commitdiff
also remove this file in HEAD
authorNuno Lopes <nlopess@php.net>
Sat, 1 Sep 2007 14:44:16 +0000 (14:44 +0000)
committerNuno Lopes <nlopess@php.net>
Sat, 1 Sep 2007 14:44:16 +0000 (14:44 +0000)
ext/tidy/TODO [deleted file]

diff --git a/ext/tidy/TODO b/ext/tidy/TODO
deleted file mode 100644 (file)
index 8a13162..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-TODO
-
-Do the docs.