diff options
author | Dominik Ritter <dritter03@googlemail.com> | 2015-07-19 15:11:55 +0300 |
---|---|---|
committer | Dominik Ritter <dritter03@googlemail.com> | 2015-07-19 15:11:55 +0300 |
commit | b82e19f07330d4c7fddfb3b6264268e619585326 (patch) | |
tree | cf7f040a3a2a7c0dadb6c6a4686a9572af809c54 /.gitignore | |
parent | 10c5b28859d372f480c1352d4b7a74672e77b430 (diff) | |
parent | 83584894703039a4337b1f7d7b969992ea4cb9c9 (diff) |
Merge branch 'master' into dritter/minimize_dependencies
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..8f6423fa --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +test-vm/.vagrant |