Admin/mira.py
changeset 41554 6a515ace714b
parent 41542 a5478b1c8b8a
child 41652 4f4336e730b9
--- a/Admin/mira.py	Fri Jan 14 16:14:51 2011 +0100
+++ b/Admin/mira.py	Fri Jan 14 17:20:36 2011 +0100
@@ -10,10 +10,6 @@
 
 import util
 
-from mira.environment import configuration
-
-from repositories import *
-
 
 # build and evaluation tools