diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-01-15 21:25:05 -0500 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-01-15 21:25:05 -0500 |
commit | 5931b35f0a6f11e2365750eba01b857db46c112b (patch) | |
tree | e7cab7f80cb34d40075be9a770c36456070229e3 /orig | |
parent | 7775af4dd0b7ae7d17450c245c96c77a9c91ad78 (diff) |
moved recognition down a bit in format.tex
Diffstat (limited to 'orig')
0 files changed, 0 insertions, 0 deletions