From f12012932911ddc3ce797bd264c8363221562ca8 Mon Sep 17 00:00:00 2001
From: nnlkcncff <82151266+nnlkcncff@users.noreply.github.com>
Date: Sat, 17 Jun 2023 16:30:15 +0300
Subject: [PATCH] Update machine_settings.mdx
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Correcting a double «the".
---
 website/content/docs/vagrantfile/machine_settings.mdx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/content/docs/vagrantfile/machine_settings.mdx b/website/content/docs/vagrantfile/machine_settings.mdx
index 4a59d81ea..b32bc4995 100644
--- a/website/content/docs/vagrantfile/machine_settings.mdx
+++ b/website/content/docs/vagrantfile/machine_settings.mdx
@@ -133,7 +133,7 @@ the name of the synced folder plugin.
   the hostname will be set on boot. If set, Vagrant will update `/etc/hosts`
   on the guest with the configured hostname.
 
-- `config.vm.ignore_box_vagrantfile` (boolean) - If true, Vagrant will not load the the
+- `config.vm.ignore_box_vagrantfile` (boolean) - If true, Vagrant will not load the
   settings found inside a boxes Vagrantfile, if present. Defaults to `false`.
 
 - `config.vm.network` - Configures [networks](/vagrant/docs/networking/) on