diff options
| author | Ingolf Wanger <contact@ingolf-wagner.de> | 2019-05-23 16:23:23 +0200 |
|---|---|---|
| committer | Ingolf Wanger <contact@ingolf-wagner.de> | 2019-05-23 16:23:23 +0200 |
| commit | 89662dba0bed1054e941b417006a57c1db6e2c63 (patch) | |
| tree | df1be6f02f0ee1dd7be4d510d7704aefae975c63 | |
| parent | d822bcc8a1df37752e1b4f00b68f1eba204e564c (diff) | |
.gitignore: add .history
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..8f5fd87 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.history |