Wed, 15 Apr 2015 22:20:22 +0200 | wenzelm | merged | changeset | files |
Wed, 15 Apr 2015 21:20:37 +0200 | wenzelm | NEWS; | changeset | files |
Wed, 15 Apr 2015 21:20:27 +0200 | wenzelm | ensure that deps are defined in entries, to prevent crash of Graph_View.build_graph; | changeset | files |
Wed, 15 Apr 2015 20:00:18 +0200 | wenzelm | updated to jdk-7u80, the latest and last public release of Java 7; | changeset | files |