diff options
| author | David Thompson <dthompson2@worcester.edu> | 2019-05-13 19:00:33 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2019-05-13 19:00:33 -0400 |
| commit | 6d5e5eb609aefd6373f2e4c4426db2fe5fd386b2 (patch) | |
| tree | 45f8ee05d41542d7e05c3bc3b3eb4121a338f06a /pre-inst-env.in | |
| parent | 4282f8521fab279070c79b15bba50a6d5524d028 (diff) | |
doc: Remove unicode character for pi because it breaks 'make dvi'.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions