From b3677c66f29013f724386ecb9f4650d3fe7e4666 Mon Sep 17 00:00:00 2001
From: Josep Mones Teixidor <jmones@gmail.com>
Date: Thu, 29 Jul 2021 03:48:02 +0200
Subject: [PATCH] Ignore .java-version for jenv users

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index b1ff38f29..a3f4d5091 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,6 @@ target/
 .settings/
 .classpath
 .project
+
+# for jenv users
+.java-version