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": "."
-		}
-	]
-}