Sun, 22 Jan 2017 19:22:33 +0100 | wenzelm | updated to jdk-8u121; | changeset | files |
Sun, 22 Jan 2017 16:45:58 +0100 | wenzelm | clarified owner; | changeset | files |
Sun, 22 Jan 2017 16:15:08 +0100 | wenzelm | insist in proper GNU tar, to avoid subtle semantic differences; | changeset | files |