From 46cc947b2425cd492f1fe2e5e7a1c19db9a428bb Mon Sep 17 00:00:00 2001
From: Robin Whittleton <robin@reala.net>
Date: Mon, 11 Mar 2024 20:54:22 +0100
Subject: [PATCH] Remove unnecessary lint ignore rule

And, by extension, the lint ignore file
---
 se-lint-ignore.xml | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 se-lint-ignore.xml

diff --git a/se-lint-ignore.xml b/se-lint-ignore.xml
deleted file mode 100644
index dd227c5..0000000
--- a/se-lint-ignore.xml
+++ /dev/null
@@ -1,9 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<se-lint-ignore>
-	<file path="chapter-11.xhtml">
-		<ignore>
-			<code>y-006</code>
-			<reason>Matched punctuation is grammatically correct.</reason>
-		</ignore>
-	</file>
-</se-lint-ignore>