summaryrefslogtreecommitdiffstats
path: root/gap/subgroupladders.gd
diff options
context:
space:
mode:
authorUlli Kehrle <ulli.kehrle@rwth-aachen.de>2018-11-08 12:06:53 +0100
committerUlli Kehrle <ulli.kehrle@rwth-aachen.de>2018-11-08 12:06:53 +0100
commit03cbe93ecc77d60ec13da20d8845136b72233558 (patch)
treef45e5598d0c3ace8c8b63c8ca99a6fb2b47091f5 /gap/subgroupladders.gd
parent407bc6af406de7286d377e5f2d1f848aaa84eb2e (diff)
downloadsubgroup-ladders-03cbe93ecc77d60ec13da20d8845136b72233558.tar.gz
subgroup-ladders-03cbe93ecc77d60ec13da20d8845136b72233558.tar.xz
README: added missing space
Diffstat (limited to 'gap/subgroupladders.gd')
0 files changed, 0 insertions, 0 deletions