diff options
author | Jonas Smedegaard <dr@jones.dk> | 2024-05-15 11:47:54 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:41 +0200 |
commit | 5609fd864c2f8c2bfcfb5eed144fffcacad5c5bd (patch) | |
tree | adc1f860c610d7e22b80fa34b6377dc67757f719 /.gitignore | |
parent | 00b0f3c6fd75b426ca5678043da2f9bc9ee646ad (diff) |
keep intermediary tex files, git-ignored
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -7,3 +7,4 @@ svg-inkscape/ /worlding/S2424791-JI_ME.pdf rdf/*.ttl rdf/*.svg +index.tex |