diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2015-07-09 20:11:03 +0300 |
|---|---|---|
| committer | Dominik Ritter <dritter03@googlemail.com> | 2015-07-09 20:11:03 +0300 |
| commit | 008512cc79bb2f3afcf4c17852e68d1d40d9e580 (patch) | |
| tree | b76e0ad9bdc4d0f85e2b71a51b540a4508ff8552 /.gitignore | |
| parent | 3dc5084e40b2e10272d072c7d6f05b642016e326 (diff) | |
| parent | 772c9ab85d82a87c0e7cf638ce4032697e217bc7 (diff) | |
Merge branch 'master' into dritter/developers_guide
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 |