]> granicus.if.org Git - php/commitdiff
projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 037211e)
really delete it
authorJohannes Schlüter <johannes@php.net>
Sat, 9 May 2009 22:36:14 +0000 (22:36 +0000)
committerJohannes Schlüter <johannes@php.net>
Sat, 9 May 2009 22:36:14 +0000 (22:36 +0000)
ext/standard/CREDITS [deleted file] patch | blob | history

diff --git a/ext/standard/CREDITS b/ext/standard/CREDITS
deleted file mode 100644 (file)
index 4021b08..0000000
--- a/ext/standard/CREDITS
+++ /dev/null
@@ -1,3 +0,0 @@
-Assert
-Thies C. Arntzen
-
Unnamed repository; edit this file 'description' to name the repository.