Oystein Kristoffer Tveit 1b0d5db395 Automate main document creation		2022-02-08 12:02:51 +01:00
..
createDoc.py	Automate main document creation	2022-02-08 12:02:51 +01:00
toTex.py	Automate main document creation	2022-02-08 12:02:51 +01:00