aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-05-15 11:47:54 +0200
committerJonas Smedegaard <dr@jones.dk>2024-06-04 17:35:41 +0200
commit5609fd864c2f8c2bfcfb5eed144fffcacad5c5bd (patch)
treeadc1f860c610d7e22b80fa34b6377dc67757f719 /.gitignore
parent00b0f3c6fd75b426ca5678043da2f9bc9ee646ad (diff)
keep intermediary tex files, git-ignored
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d7034ab..50fe115 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@ svg-inkscape/
/worlding/S2424791-JI_ME.pdf
rdf/*.ttl
rdf/*.svg
+index.tex