Applied fixes from FlintCI

7 years ago · 8dc697da3e
parent fd661efeb6
commit 8dc697da3e
1 changed files with 0 additions and 1 deletions
--- a/public/courses.php
+++ b/public/courses.php
@ -15,4 +15,3 @@ $path = $_GET['url'];
 $url = $publicPath."courses/$courseCode/document/$path";
 header("Location: $url");
 exit;
-