diff options
| author | David Thompson <dthompson2@worcester.edu> | 2021-08-12 07:32:25 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2021-08-12 07:32:25 -0400 |
| commit | 706fb3265d9dd21109904faade182be364190350 (patch) | |
| tree | dad05e83fd5e830d65b5f0bd42ce2a5586cdd73f /.dir-locals.el | |
| parent | 692eb45def187e2f2dbe7e40eacf27b2058c88bd (diff) | |
math: Remove unnecessary pi digits and add precomputed pi/2.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions