Grammer: corrected

2018-10-27 12:53:02 +02:00 · 2018-10-27 12:53:02 +02:00 · cdc0e1c11c
parent e4a7b932fc
commit cdc0e1c11c
1 changed files with 1 additions and 1 deletions
--- a/website/source/docs/vagrant-cloud/boxes/distributing.html.md
+++ b/website/source/docs/vagrant-cloud/boxes/distributing.html.md
@ -37,7 +37,7 @@ To add a collaborator:

 1. Go to the "Access" page of a box via the sidebar
 2. Enter the username or team name and submit the form
-3. You'll now see an the user or team in the list of collaborators,
+3. You'll now see the user or team in the list of collaborators,
 and if necessary a collaborator can be removed

 ### Vagrant Login