Files
gerrit/tools
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
..
2018-08-28 09:32:25 +09:00
2018-07-10 20:38:52 +09:00
2015-08-26 09:03:24 -06:00