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:55 -0500 |
| commit | 583d3c081a2869cfad78c4993988bcded3775524 (patch) | |
| tree | f0dc37bba4d11a0ea928fe89de04c1a888e056cc /docs/ref | |
| parent | a3a27dec8f1438577867eb60bb8efd77a837ff14 (diff) | |
[1.8.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