adding file to gitignore

tnunnink · Nov 28, 2023 · f3992a7 · f3992a7
1 parent 0c310a8
commit f3992a7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 33 deletions.
diff --git a/.gitignore b/.gitignore
@@ -374,3 +374,4 @@ src/.idea/.idea.L5Sharp/.idea/workspace.xml
 *.Sem
 *.Wrk
 src/.idea/.idea.L5Sharp/.idea/workspace.xml
+src/.idea/.idea.L5Sharp/.idea/workspace.xml
diff --git a/src/.idea/.idea.L5Sharp/.idea/workspace.xml b/src/.idea/.idea.L5Sharp/.idea/workspace.xml
-Original file line number
+Diff line change
@@ Expand Up / @@ -374,3 +374,4 @@ src/.idea/.idea.L5Sharp/.idea/workspace.xml @@
     *.Sem
     *.Wrk
     src/.idea/.idea.L5Sharp/.idea/workspace.xml
+    src/.idea/.idea.L5Sharp/.idea/workspace.xml