diff options
author | Friedrich Rober <friedrich.rober@rwth-aachen.de> | 2018-11-07 16:23:00 +0100 |
---|---|---|
committer | Friedrich Rober <friedrich.rober@rwth-aachen.de> | 2018-11-07 16:23:00 +0100 |
commit | 2e96b01e54905f91ac17c27caca5311c4bcb2195 (patch) | |
tree | a96f732181a821ec65cd215aed6eaaeb5867dda1 /init.g | |
parent | b4dc9daf3b976071ab4329c7b347966b78714aca (diff) | |
download | subgroup-ladders-2e96b01e54905f91ac17c27caca5311c4bcb2195.tar.gz subgroup-ladders-2e96b01e54905f91ac17c27caca5311c4bcb2195.tar.xz |
Remove superfluous identity call
Diffstat (limited to 'init.g')
0 files changed, 0 insertions, 0 deletions