doc: Remove unicode character for pi because it breaks 'make dvi'.
authorDavid Thompson <dthompson2@worcester.edu>
Mon, 13 May 2019 23:00:33 +0000 (19:00 -0400)
committerDavid Thompson <dthompson2@worcester.edu>
Mon, 13 May 2019 23:00:33 +0000 (19:00 -0400)
commit6d5e5eb609aefd6373f2e4c4426db2fe5fd386b2
tree45f8ee05d41542d7e05c3bc3b3eb4121a338f06a
parent4282f8521fab279070c79b15bba50a6d5524d028
doc: Remove unicode character for pi because it breaks 'make dvi'.
doc/api.texi