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 /PackageInfo.g | |
parent | d3d93ebaf723d1c14faaac1062240c8ec7c1bc25 (diff) | |
download | subgroup-ladders-407bc6af406de7286d377e5f2d1f848aaa84eb2e.tar.gz subgroup-ladders-407bc6af406de7286d377e5f2d1f848aaa84eb2e.tar.xz |
use unicode subscripts
Diffstat (limited to 'PackageInfo.g')
0 files changed, 0 insertions, 0 deletions