aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2022-10-04 17:10:08 +0200
committerlonkaars <loek@pipeframe.xyz>2022-10-04 17:10:08 +0200
commit8531a023f0a3db50897ea77f38a5d59909a97825 (patch)
treed317a69c0bb844b86b4a0a2f16651adc20482144 /.gitignore
parentdf4e9faf60be8039af715c60a1fd7b21da8b99c5 (diff)
makefile build instead of janky shell scripts
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9b41e02..3fc3088 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
opdracht-*/*.md
+opdracht-*/.tmp.sql
opdracht-*/opdracht.pdf
opdracht-*/opdracht-*.md