diff options
author | Dominik Ritter <dritter03@googlemail.com> | 2015-07-19 15:45:48 +0300 |
---|---|---|
committer | Dominik Ritter <dritter03@googlemail.com> | 2015-07-19 15:45:48 +0300 |
commit | 3076c72f2e586f98ff0ffcdf352986bbb7775e94 (patch) | |
tree | 0223d8ffefbcb6c522da2eec66556f79550c50d9 /.gitignore | |
parent | 3f4a7bcd4c389371b21d4af9e5b5dbe562094c20 (diff) | |
parent | 83584894703039a4337b1f7d7b969992ea4cb9c9 (diff) |
Merge branch 'master' into dritter/multiline_improvements
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 |