| Wed, 08 May 2019 18:53:27 +0200 | wenzelm | eliminated old com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen: appears to be unnecessary on newer versions of Mac OS X; | changeset | files |
| Wed, 08 May 2019 16:54:50 +0200 | wenzelm | back to gz for linux (and macos) -- xz is too slow and cumbersome; | changeset | files |
| Fri, 03 May 2019 20:35:19 +0200 | wenzelm | merged | changeset | files |