diff options
| author | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2018-11-08 12:04:47 +0100 |
|---|---|---|
| committer | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2018-11-08 12:04:47 +0100 |
| commit | 407bc6af406de7286d377e5f2d1f848aaa84eb2e (patch) | |
| tree | 1aa5291f506e9f0b91a7ff0a2e0b70b5e497ba50 /gap/subgroupladders.gd | |
| parent | d3d93ebaf723d1c14faaac1062240c8ec7c1bc25 (diff) | |
| download | subgroup-ladders-407bc6af406de7286d377e5f2d1f848aaa84eb2e.tar.gz subgroup-ladders-407bc6af406de7286d377e5f2d1f848aaa84eb2e.tar.xz | |
use unicode subscripts
Diffstat (limited to 'gap/subgroupladders.gd')
0 files changed, 0 insertions, 0 deletions