# HG changeset patch
# User haftmann
# Date 1295022036 -3600
# Node ID 6a515ace714b3437135ba0b5af5f6d7251b1dee0
# Parent  ccfc070e8157ba1ba0ef331d290d30ec71755223
adjusted mira configuration

diff -r ccfc070e8157 -r 6a515ace714b Admin/mira.py
--- 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