diff options
| author | mwtoews <mwtoews@gmail.com> | 2018-04-22 22:01:46 +1200 |
|---|---|---|
| committer | mwtoews <mwtoews@gmail.com> | 2018-04-22 22:01:46 +1200 |
| commit | 027c865d05ff272efc8e2dd2b5148e03e41275a1 (patch) | |
| tree | 5610c0ca34cb3beddd30c0975926c4b9ad18560f /docs/source/development | |
| parent | 410a515228166399f8c145568f20a7799a450757 (diff) | |
| download | PROJ-027c865d05ff272efc8e2dd2b5148e03e41275a1.tar.gz PROJ-027c865d05ff272efc8e2dd2b5148e03e41275a1.zip | |
Use utf8 option for inputenc instead of utf8x
According to https://tex.stackexchange.com/q/13067/2951
utf8x should be avoided if possible.
Also, define LaTeX for Unicode PRIME character, used
in eqc doc pages.
Diffstat (limited to 'docs/source/development')
0 files changed, 0 insertions, 0 deletions