From 8632bed993330ca02fa88635ef28b3469bf60734 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Mon, 24 Aug 2026 18:06:36 +0300
Subject: [PATCH] chore: git ignore the inst directory

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

diff --git a/.gitignore b/.gitignore
index 73c2cef2..843c7502 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 /target
 doc/messages.md
 perf.*
+inst