From 4cf4e4d3969ab43978c95f88238547530b01422d Mon Sep 17 00:00:00 2001 From: Sem Date: Sat, 9 Nov 2013 16:08:35 +0100 Subject: Deleted submodules. --- mod/group_operators | 1 - 1 file changed, 1 deletion(-) delete mode 160000 mod/group_operators (limited to 'mod/group_operators') diff --git a/mod/group_operators b/mod/group_operators deleted file mode 160000 index e1b781caf..000000000 --- a/mod/group_operators +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e1b781caf975b05188422a47a500be64ca6d4dc2 -- cgit v1.2.3