From a30e7d2cfdaac492bf1d80947ad1e8852630b64c Mon Sep 17 00:00:00 2001
From: Paolo Tranquilli <redsun82@gihub.com>
Date: Mon, 8 Jul 2024 13:18:56 +0200
Subject: [PATCH] Kotlin: add all `.kotlin_*` in `dev` to `.gitignore`

---
 java/kotlin-extractor/dev/.gitignore | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/java/kotlin-extractor/dev/.gitignore b/java/kotlin-extractor/dev/.gitignore
index 74a035783b5..07cf473f632 100644
--- a/java/kotlin-extractor/dev/.gitignore
+++ b/java/kotlin-extractor/dev/.gitignore
@@ -1,2 +1 @@
-/.kotlinc_version
-/.kotlinc_installed
+/.kotlinc_*