From bf427d35dfb678b99053d20f2b1b2cf21707d020 Mon Sep 17 00:00:00 2001
From: Tom J Nowell <contact@tomjn.com>
Date: Wed, 18 Sep 2024 17:17:43 +0100
Subject: [PATCH] ignore vagrant.log

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index df4ef460a..a70dc53bf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@ Icon\r\r
 
 # Because this really is a working directory, ignore vagrant's files
 /.vagrant
+vagrant.log
 
 # This is a file intended for hooking in a custom Vagrant configuration on up
 /Customfile