diff options
| author | fpi | 2022-03-17 13:43:39 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:45:42 +0100 |
| commit | ac49090b505bab463eaa207d68eca860fee06a98 (patch) | |
| tree | 7f7c435f42cb1978f54499fe7a6e7bfe46223b83 /Makefile | |
| parent | Fix redtick configuration (diff) | |
Change org timestamp format to include nanosecond
Also add some default latex packages to org export
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions