From d339f4274dde4a70811fdc876b2874eaebc2728b Mon Sep 17 00:00:00 2001
From: Christoph Atteneder <christoph.atteneder@gmail.com>
Date: Fri, 1 Mar 2019 15:43:06 +0100
Subject: [PATCH] Ignore jenv config files

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

diff --git a/.gitignore b/.gitignore
index 544eb84dfc..0a68aa585c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,4 @@ deploy
 */releases/*
 /monitor/TorHiddenServiceStartupTimeTests/*
 /monitor/monitor-tor/*
+.java-version