Various options.conf updates

2019-09-23 14:11:10 +02:00
parent 22e6103e27
commit d5f2de7b9a
3 changed files with 7 additions and 1 deletions
--- a/options.conf.d/development.conf
+++ b/options.conf.d/development.conf
@@ -38,3 +38,6 @@ app-editors/gvim ruby
 dev-util/universal-ctags json xml yaml

 dev-db/sqlite readline
+
+# java
+=virtual/jdk-12.0 providers: openjdk-bin