From f032b0ef17f75e3101670bd23969c725b234d785 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 15 Oct 2024 14:17:21 +0100
Subject: [PATCH] Add zed settings
---
.zed/settings.json | 13 +++++++++++++
1 file changed, 13 insertions(+)
create mode 100644 .zed/settings.json
diff --git a/.zed/settings.json b/.zed/settings.json
new file mode 100644
index 0000000..56521bf
--- /dev/null
+++ b/.zed/settings.json
@@ -0,0 +1,13 @@
+{
+ "lsp": {
+ "texlab": {
+ "settings": {
+ "texlab": {
+ "diagnostics": {
+ "ignoredPatterns": ["Duplicate"]
+ }
+ }
+ }
+ }
+ }
+}
--
GitLab