From cec6f983925041775b83ef7a6dd1d1b76f64baca Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 18 Jan 2017 17:52:57 +0100 Subject: [PATCH] move FreeGroups to Groups --- FreeGroups.jl => Groups.jl | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename FreeGroups.jl => Groups.jl (100%) diff --git a/FreeGroups.jl b/Groups.jl similarity index 100% rename from FreeGroups.jl rename to Groups.jl