]> source.dussan.org Git - gitignore.git/commit
Add hypdoc temporary files 4441/head
authorbeneiii <benedikt.wilde@uni-tuebingen.de>
Sun, 5 May 2024 14:18:05 +0000 (16:18 +0200)
committerbeneiii <benedikt.wilde@uni-tuebingen.de>
Sun, 5 May 2024 14:18:05 +0000 (16:18 +0200)
commit86ddbd59fe830c4e77f2cf1881def4f65b45a6fc
treeb022770cbbce96c5c518aadfc4c0143764d42279
parent4488915eec0b3a45b5c63ead28f286819c0917de
Add hypdoc temporary files
TeX.gitignore