From 1053a289700baea980f7b88b11e046ff52c2288e Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 22 Jun 2017 15:31:55 +0200 Subject: [PATCH] remove left-over usings/imports --- src/OrbitDecomposition.jl | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/OrbitDecomposition.jl b/src/OrbitDecomposition.jl index 3b40b03..7f950ea 100644 --- a/src/OrbitDecomposition.jl +++ b/src/OrbitDecomposition.jl @@ -1,15 +1,3 @@ -push!(LOAD_PATH, "./") - -using Nemo -using Groups - -using GroupRings -using PropertyT - -import Nemo.elements - -using JLD - include("Projections.jl") ###############################################################################