From cb8a45dee9d75d8d3852fc3c289e15cd3434fc73 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Mon, 15 Feb 2021 18:04:11 +0100
Subject: [PATCH] Remove sublime text project files

---
 .gitignore                    | 1 -
 psl_with_ghdl.sublime-project | 8 --------
 2 files changed, 9 deletions(-)
 delete mode 100644 psl_with_ghdl.sublime-project

diff --git a/.gitignore b/.gitignore
index a0d56c3..64478ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,3 @@
 formal/work
 issues/work
 sim/work
-psl_with_ghdl.sublime-workspace
diff --git a/psl_with_ghdl.sublime-project b/psl_with_ghdl.sublime-project
deleted file mode 100644
index 24db303..0000000
--- a/psl_with_ghdl.sublime-project
+++ /dev/null
@@ -1,8 +0,0 @@
-{
-	"folders":
-	[
-		{
-			"path": "."
-		}
-	]
-}