From 6fdd1a96ad26633463b9353f8408f19db4b2407a Mon Sep 17 00:00:00 2001 From: Robin Appelman Date: Wed, 3 Oct 2012 19:41:42 +0200 Subject: remove simpletest --- .../extensions/coverage/coverage_utils.php | 114 --------------------- 1 file changed, 114 deletions(-) delete mode 100644 3rdparty/simpletest/extensions/coverage/coverage_utils.php (limited to '3rdparty/simpletest/extensions/coverage/coverage_utils.php') diff --git a/3rdparty/simpletest/extensions/coverage/coverage_utils.php b/3rdparty/simpletest/extensions/coverage/coverage_utils.php deleted file mode 100644 index d2c3a635f43..00000000000 --- a/3rdparty/simpletest/extensions/coverage/coverage_utils.php +++ /dev/null @@ -1,114 +0,0 @@ - \ No newline at end of file -- cgit v1.2.3