diff options
| author | Tim Graham <timograham@gmail.com> | 2015-11-16 11:18:01 -0500 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2015-11-16 20:32:17 -0500 |
| commit | 2315f5f45fcd7dbceef32d011d0d7ee5b8e6a4a8 (patch) | |
| tree | a874e08889d38d7bc5cdab67e6771892889089be /docs/ref | |
| parent | 937ce01935647a47932b124f218bd23181779828 (diff) | |
[1.9.x] Refs #23751 -- Added some unicode characters to the latex preamble.
Thanks Graham Wideman for the patch.
Backport of a80d70dd10f3c7d483579734e524c94c62832070 from master
Diffstat (limited to 'docs/ref')
0 files changed, 0 insertions, 0 deletions