jenv: small fix

This commit is contained in:
Marc Cornellà 2018-08-19 19:43:35 +02:00 committed by GitHub
parent 873dc9cfb8
commit 3edd424af2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -27,4 +27,4 @@ else
function jenv_prompt_info() { echo "system: $(java -version 2>&1 | cut -f 2 -d ' ')" }
fi
unset jenvdir FOUND_JENV
unset jenvdir jenvdirs FOUND_JENV