summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPaul Bütow <pbuetow@mimecast.com>2018-12-19 16:29:02 +0000
committerPaul Bütow <pbuetow@mimecast.com>2018-12-19 16:29:02 +0000
commit2de8687de485717a6a2b12bc186f03e4c9d7b5ab (patch)
tree6856cd49db85c4106d6af5a0165ceb8dd1391356 /.gitignore
parent5c766d32cb04dbceeaddf97c8f3b5f058eaecab8 (diff)
initial docker build support
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 07f2f4b..d2ac6cf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ docs/latex/
ioriot/ioriot
ioriot/tags
systemtap/downloads/
+Dockerfile