aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-04 03:07:44 -0400
committerKylie McClain <kylie@somas.is>2020-07-04 03:07:56 -0400
commitcd10367dad01aa8a8faeefcc8de6b30311a47787 (patch)
tree48f7fded1a0e462ee280b10d50408e8c84eb971a
parent603fd5ff4d24936720df3b320b062c98ff860d8a (diff)
downloadpraxis-cd10367dad01aa8a8faeefcc8de6b30311a47787.tar.gz
praxis-cd10367dad01aa8a8faeefcc8de6b30311a47787.tar.xz
praxis-cd10367dad01aa8a8faeefcc8de6b30311a47787.zip
gitignore: don't track *.html files
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index c37aa6d..0596928 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,9 @@ theory.sh
# PUBLICS
public
+# HTMLS
+*.html
+
# These should be generated during the `repo-update` tests.
spec/testdata/db/libraries
spec/testdata/db/packages