From 86ec33b8a0dc1a450ac3d3f11a5803924ecd48b1 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 20:14:26 +0200 Subject: [PATCH] mv FPGroup.jl -> FreeGroup.jl --- src/{FPGroups.jl => FreeGroup.jl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{FPGroups.jl => FreeGroup.jl} (100%) diff --git a/src/FPGroups.jl b/src/FreeGroup.jl similarity index 100% rename from src/FPGroups.jl rename to src/FreeGroup.jl