From d121fbb0e2b5d3ac17c2b8344cec464e5cf90245 Mon Sep 17 00:00:00 2001
From: Monica Omar <2497250a@research.gla.ac.uk>
Date: Thu, 8 Feb 2024 01:18:46 +0000
Subject: [PATCH] gitignore nolints

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

diff --git a/.gitignore b/.gitignore
index 6543011f49..9f6c454bd7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ src/.DS_Store
 src/monlib.lean
 .github/workflows/build.yml
 .github/workflows/nolints.yml
+nolints.txt