From a8a981ca8bcc9d1eacaf3991ca50cd96f0ca3b6e Mon Sep 17 00:00:00 2001
From: Glenn <glenux@glenux.net>
Date: Wed, 3 Jan 2024 14:08:09 +0100
Subject: [PATCH] chore: ignore .vagrant directory

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

diff --git a/.gitignore b/.gitignore
index 67900ac..27ba403 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@
 /bin/
 /.shards/
 *.dwarf
+/.vagrant