Add .history to .gitignore

2020-01-19 16:02:51 +01:00 · 2020-01-19 16:02:51 +01:00 · ae1b0b8ef1
parent 4af2598ecb
commit ae1b0b8ef1
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,4 @@
+.history
 .reuse
 result
 result-*