something is strange with jenkins ...

diff --git a/Vagrantfile b/Vagrantfile
index 8df0f0e..401adf7 100644 (file)
--- 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