diff options
| author | Prefetch | 2019-06-09 22:33:44 +0200 |
|---|---|---|
| committer | Prefetch | 2019-06-09 22:33:44 +0200 |
| commit | 2dacb951ee001f8fdf4e2b37e2060f6c74841c9f (patch) | |
| tree | 54a56a2a30c6bda5e83cec775aba19e1ef3cc2f5 /latex/Makefile | |
| parent | da0b1ae00b2dc52e6baa2e7a3f96b622fc1f2315 (diff) | |
Improve heading generation
Diffstat (limited to 'latex/Makefile')
0 files changed, 0 insertions, 0 deletions