| commit | 1f29159c384962c6929064fb6b6363984deb531b | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jun 08 18:23:45 2016 +0900 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jun 08 18:23:45 2016 +0900 |
| tree | bcb964dee220df718ed3441f3fd85fa14f20f3f1 | |
| parent | 0f52fc1fdafad805626b6d60d481f06bbc9b05b6 [diff] [blame] |
something is strange with jenkins ...
diff --git a/Vagrantfile b/Vagrantfile index 8df0f0e..401adf7 100644 --- a/Vagrantfile +++ b/Vagrantfile
@@ -4,7 +4,7 @@ # # This Vagrant file create a son-emu VM. # - +# # All Vagrant configuration is done below. The "2" in Vagrant.configure # configures the configuration version (we support older styles for # backwards compatibility). Please don't change it unless you know what