From 195c7c4392022474613dc676310b247ade7bdf76 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 20:14:06 +0200 Subject: [PATCH] move automorphism_groups.jl -> AutGroup.jl --- src/{automorphism_groups.jl => AutGroup.jl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{automorphism_groups.jl => AutGroup.jl} (100%) diff --git a/src/automorphism_groups.jl b/src/AutGroup.jl similarity index 100% rename from src/automorphism_groups.jl rename to src/AutGroup.jl