diff options
author | Ahmad Anbar <aanbar@gmail.com> | 2015-02-04 18:20:01 +0100 |
---|---|---|
committer | Ahmad Anbar <aanbar@gmail.com> | 2015-02-04 18:20:01 +0100 |
commit | e5454f9b28f123a5549971f580255a065b2f8cc2 (patch) | |
tree | c4927e7b7afb0bf242976034630cc60f2f1db00f /system/core/Benchmark.php | |
parent | 6db62ab0ad0e223806a1367e12b1884b48dc65d7 (diff) | |
parent | eccac6e6a73a4d1a5b40f383ce64359c2c94ae12 (diff) |
Merge remote-tracking branch 'upstream/develop' into develop
Diffstat (limited to 'system/core/Benchmark.php')
-rw-r--r-- | system/core/Benchmark.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/system/core/Benchmark.php b/system/core/Benchmark.php index 86f3ae1aa..e420f62a1 100644 --- a/system/core/Benchmark.php +++ b/system/core/Benchmark.php @@ -131,6 +131,3 @@ class CI_Benchmark { } } - -/* End of file Benchmark.php */ -/* Location: ./system/core/Benchmark.php */
\ No newline at end of file |