Switch to minted for listings

This commit is contained in:
Charlotte Van Petegem 2023-12-08 10:34:41 +01:00
parent 8dc8ecdbc8
commit a05d11d637
No known key found for this signature in database
GPG key ID: 019E764B7184435A
5 changed files with 11 additions and 5 deletions

1
.gitignore vendored
View file

@ -1,3 +1,4 @@
book.pdf
book.tex
diff.pdf
_minted-book