commit | 61f52231f430c72e1b66b76dabb018cfe45a01d5 | [log] [tgz] |
---|---|---|
author | Behdad Esfahbod <[email protected]> | Mon Nov 05 23:28:52 2018 -0500 |
committer | Behdad Esfahbod <[email protected]> | Mon Nov 05 23:28:52 2018 -0500 |
tree | 9fb8066cc7a76252c6c1007605e3339c7478d179 | |
parent | 737efbe65583a71d7df9ae7b423d9fb1d68599b7 [diff] |
[math] Shorten names a bit