David Ostrovsky 7c434f9a8a tools/eclipse/project.py: Restore Java 8 compatibility ...

In Ie341cd4dfe Eclipse JRE value "JavaSE-1.8" was inadvertently replaced
with "JavaSE-9". Restore JRE to the previous value.

Change-Id: I7e4860d8c611452399beaf972b6810f5b7ba755e

2018-08-31 21:36:42 +02:00

..

BUILD

tools/eclipse/BUILD: Remove commented out code

2018-08-16 08:27:13 +02:00

gerrit_daemon.launch

Dissolve gerrit-main top-level directory

2017-10-31 11:02:36 -04:00

gerrit_gwt_debug.launch

Fix GWT super dev mode

2018-01-08 13:10:28 -05:00

project.py

tools/eclipse/project.py: Restore Java 8 compatibility

2018-08-31 21:36:42 +02:00