From ff22ea8dc40630265b5b34412cad3d6953552e0a Mon Sep 17 00:00:00 2001
From: Mark Raynsford <code@io7m.com>
Date: Tue, 7 May 2024 16:01:40 +0000
Subject: [PATCH] Update .gitignore.

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

diff --git a/.gitignore b/.gitignore
index 5cd9667..d2de305 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ target
 com.io7m.calino.specification/src/main/coq/html
 .jqwik-database
 dependency-reduced-pom.xml
+pom.xml.versionsBackup