mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-23 08:15:29 +01:00
remove left-over usings/imports
This commit is contained in:
parent
4bde63f580
commit
1053a28970
@ -1,15 +1,3 @@
|
|||||||
push!(LOAD_PATH, "./")
|
|
||||||
|
|
||||||
using Nemo
|
|
||||||
using Groups
|
|
||||||
|
|
||||||
using GroupRings
|
|
||||||
using PropertyT
|
|
||||||
|
|
||||||
import Nemo.elements
|
|
||||||
|
|
||||||
using JLD
|
|
||||||
|
|
||||||
include("Projections.jl")
|
include("Projections.jl")
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
|
Loading…
Reference in New Issue
Block a user