aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2020-06-02 22:33:03 -0400
committerHolden Rohrer <hr@hrhr.dev>2020-06-02 22:33:38 -0400
commit85d87d47f870c692772276345655ebf8e2da7ed5 (patch)
tree09facd792d891f5cf41f775b16c62ac9e1f97e0d /.gitignore
parent84ce497a7743bc41bb60f5c0f01453e40a9d377b (diff)
restructuring and perliness
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2223198..2adc16f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
minimun
+format.tex
+!orig/*
minimun.tar.gz