Remove bad CREDITS file

# I'd welcome sane proposals for ext/standard credits, there are ca. 20 people
# mentioned as "Author" and >100 people who committed into *.c here

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
-

diff --git a/ext/standard/credits_ext.h b/ext/standard/credits_ext.h
index 96b6dfb1148ed9fa46a1e2f157208fb87570d36d..79626cfd618d710e0e6af9b67e0520dc9cea5238 100644 (file)
--- a/ext/standard/credits_ext.h
+++ b/ext/standard/credits_ext.h
@@ -10,7 +10,6 @@
 
 */
 
-CREDIT_LINE("Assert", "Thies C. Arntzen");
 CREDIT_LINE("BC Math", "Andi Gutmans");
 CREDIT_LINE("Bzip2", "Sterling Hughes");
 CREDIT_LINE("Calendar", "Shane Caraveo, Colin Viebrock, Hartmut Holzgraefe, Wez Furlong");