From 4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 Mon Sep 17 00:00:00 2001
From: mistic100 <mistic@strangeplanet.fr>
Date: Fri, 24 Jul 2015 22:44:39 +0200
Subject: Remove core plugins from core repository

---
 plugins/AdminTools/include/index.php | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 plugins/AdminTools/include/index.php

(limited to 'plugins/AdminTools/include/index.php')

diff --git a/plugins/AdminTools/include/index.php b/plugins/AdminTools/include/index.php
deleted file mode 100644
index ec6605317..000000000
--- a/plugins/AdminTools/include/index.php
+++ /dev/null
@@ -1,7 +0,0 @@
-<?php
-$url = '../';
-header( 'Request-URI: '.$url );
-header( 'Content-Location: '.$url );
-header( 'Location: '.$url );
-exit();
-?>
-- 
cgit v1.2.3