typo

2017-08-12 22:58:12 +02:00 · 2017-08-12 22:58:12 +02:00 · 8086f4b71a
parent b434cfe628
commit 8086f4b71a
1 changed files with 1 additions and 1 deletions
--- a/website/source/docs/vagrantfile/ssh_settings.html.md
+++ b/website/source/docs/vagrantfile/ssh_settings.html.md
@ -20,7 +20,7 @@ defaults are typically fine, but you can fine tune whatever you would like.

 `config.ssh.username` - This sets the username that Vagrant will SSH
 as by default. Providers are free to override this if they detect a more
-appropriate user. By default this is "vagrant," since that is what most
+appropriate user. By default this is "vagrant", since that is what most
 public boxes are made as.

 <hr>