From ad9d0dadb3ade47d9ecbe5a0ffea12a8f9c4a96d Mon Sep 17 00:00:00 2001 From: Alexander Kampmann Date: Thu, 22 Mar 2012 12:52:24 +0100 Subject: removed unneccessary stuff --- util/profiler.php | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 util/profiler.php (limited to 'util') diff --git a/util/profiler.php b/util/profiler.php deleted file mode 100755 index fe33fe429..000000000 --- a/util/profiler.php +++ /dev/null @@ -1,21 +0,0 @@ -