From 5cece6a205a3911d1c7ea5255557f02c43d89c56 Mon Sep 17 00:00:00 2001
From: Eljakim Herrewijnen <eljakim.herrewijnen@gmail.com>
Date: Thu, 8 Aug 2024 11:44:56 +0200
Subject: [PATCH] .gitignore update

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

diff --git a/.gitignore b/.gitignore
index de94b74..6260eb1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 dump/
 *.bin
 *.a
+reven/