2024-02-24 June Make git ignore the compiled pdfs 08c5467dad View at this point in history 2024-02-24 23:33:10 +01:00