~jan0sch/smederee

Showing details for patch 9e8f1527f2d2ba52c99df0d104f005b60ad7070d.
2022-08-26 (Fri), 10:36 AM - Jens Grassel - 9e8f1527f2d2ba52c99df0d104f005b60ad7070d

Add .semanticdb files to ignore list

- seems like IntelliJ Idea is generating a lot of them
Summary of changes
1 files modified with 1 lines added and 0 lines removed
  • .ignore with 1 added and 0 removed lines
diff -rN -u old-smederee/.ignore new-smederee/.ignore
--- old-smederee/.ignore	2025-02-02 14:40:13.254123539 +0000
+++ new-smederee/.ignore	2025-02-02 14:40:13.254123539 +0000
@@ -5,6 +5,7 @@
 _darcs
 # Intellij Idea
 \.idea
+.*\.semanticdb
 # Metals
 \.metals
 metals.sbt