Diff build infra

This commit is contained in:
Charlotte Van Petegem 2023-10-25 13:18:47 +02:00
parent ca7c5fbd67
commit 0a203a83c8
No known key found for this signature in database
GPG key ID: 019E764B7184435A
5 changed files with 162 additions and 4 deletions

View file

@ -14,4 +14,5 @@
("\\subsection{%s}" . "\\subsection*{%s}")
("\\subsubsection{%s}" . "\\subsubsection*{%s}"))))
(org-latex-src-block-backend . 'listings)
(org-latex-prefer-user-labels . t)
(fill-column . 200))))