From 7a22a674cfd9a4d08e364475c39044ef72b9da9b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= <kolarto5@fit.cvut.cz>
Date: Wed, 27 Mar 2024 16:21:20 +0100
Subject: [PATCH] Ignoring ccls language server cache

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 174ddb1f5..dbb31434c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@ regression/log-*
 src/PySMT/opensmt.py
 .ycm_extra_conf.py
 .ycm_extra_conf.pyc
+.ccls-cache/
 authors.txt
 build*/
 delta/parser/__pycache__/