diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-09-12 08:25:41 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-09-12 08:25:41 -0700 |
| commit | 6509501e90442ab4e4c5488b8f4b1aef16352885 (patch) | |
| tree | 1ae25a5f5669d7fc1ced0631d218343b5ecc1a9f /data | |
| parent | 5e5ec586d4ae5058e6265956ea906ae8f3453c82 (diff) | |
Use defaultLatexEngine instead of `head latexEngines`.
Partial functions make me nervous.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions