From: Dmitrii Shlagov <richyannet@yandex.ru>
Date: Tue, 12 May 2026 15:14:19 +0000 (+0200)
Subject: roll back gitignore changes
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2c60e4183fa88780bb3f6ef2847e4986d1b5d751;p=scryer-prolog.git

roll back gitignore changes
---

diff --git a/.gitignore b/.gitignore
index 0679a08c..c2e60e69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,4 @@ src/static_atoms.rs
 target/
 .direnv/
 
-.idea/
\ No newline at end of file
+