summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2019-07-16 11:03:52 +0200
committerGitHub <noreply@github.com>2019-07-16 11:03:52 +0200
commit4d38b8bef7de16f741d20839ee5d31a48d499f81 (patch)
tree3ad42e60342e90d577c1f83c5e726665163a4a7d /.gitignore
parent3b8b862d8c31e8e55f2fc6e0de74a0fcbb899c76 (diff)
parentf750df871318c435c40c7d910e5dcd47b350e73d (diff)
Merge branch 'master' into bang_fixes
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 3da4d0386..db20da83e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+# to sync with .dockerignore
.coverage
coverage/
.installed.cfg