moved admin to repo admin... whichi s really what it is

author paulr <me@pjr.cc>

Wed, 10 Aug 2011 07:10:11 +0000 (17:10 +1000)

committer paulr <me@pjr.cc>

Wed, 10 Aug 2011 07:10:11 +0000 (17:10 +1000)
author paulr <me@pjr.cc>
Wed, 10 Aug 2011 07:10:11 +0000 (17:10 +1000)
committer paulr <me@pjr.cc>
Wed, 10 Aug 2011 07:10:11 +0000 (17:10 +1000)
diff --git a/plugins/admin.php b/plugins/repo_admin.php

similarity index 100%

rename from plugins/admin.php

rename to plugins/repo_admin.php