| Sun, 02 Dec 2018 16:21:35 +0100 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2018 19:15:12 +0200 |
wenzelm |
updated to jdk-11: jre is only a symlink to jdk;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 22:04:45 +0200 |
wenzelm |
avoid hardwired cygwin mirror;
|
file |
diff |
annotate
|
| Fri, 04 May 2018 16:22:09 +0200 |
wenzelm |
set view title dynamically;
|
file |
diff |
annotate
|
| Tue, 17 Apr 2018 15:59:41 +0200 |
wenzelm |
updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
|
file |
diff |
annotate
|
| Sat, 03 Mar 2018 21:39:24 +0100 |
wenzelm |
more robust check -- do not rely on return code;
|
file |
diff |
annotate
|
| Mon, 23 Oct 2017 20:43:04 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 11:49:00 +0200 |
wenzelm |
updated to x86_64-cygwin;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 11:20:47 +0200 |
wenzelm |
"windows" application is always x86_64;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 22:38:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 22:38:11 +0200 |
wenzelm |
special case for local contrib, e.g. lxbroy10;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 17:00:20 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 14:23:43 +0200 |
wenzelm |
makedist_bundle works on Linux as well: build dmg on remote Mac;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 17:12:39 +0200 |
wenzelm |
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
|
file |
diff |
annotate
|
| Thu, 14 Jul 2016 12:20:20 +0200 |
wenzelm |
prefer curl: presumably more portable and versatile;
|
file |
diff |
annotate
|
| Tue, 26 Apr 2016 21:46:12 +0200 |
wenzelm |
more portable: GNU find no longer supports "-perm +mode";
|
file |
diff |
annotate
|
| Wed, 13 Jan 2016 15:46:21 +0100 |
wenzelm |
proper relative symlink;
|
file |
diff |
annotate
|
| Thu, 07 Jan 2016 16:50:52 +0100 |
wenzelm |
more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 18:46:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 16:15:28 +0100 |
wenzelm |
avoid downloading contrib again;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 15:18:38 +0100 |
wenzelm |
provide server name uniformly on all platforms;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2016 22:13:24 +0100 |
wenzelm |
keep platform bundle for reference, e.g. for headless installation;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2016 19:52:00 +0100 |
wenzelm |
keep generic archive for all platforms -- required for Admin/Release/build_library;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2015 22:19:56 +0100 |
wenzelm |
removed presumably obsolete workaround (see 7924d61b50cf);
|
file |
diff |
annotate
|
| Wed, 16 Sep 2015 21:26:37 +0200 |
wenzelm |
more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2015 21:27:23 +0200 |
wenzelm |
single-instance application on Windows;
|
file |
diff |
annotate
|
| Thu, 10 Sep 2015 14:18:09 +0200 |
wenzelm |
convenient access to application properties;
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 15:37:13 +0200 |
wenzelm |
clarified Java runtime options for 32 vs. 64 bit;
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 13:40:37 +0200 |
wenzelm |
clarified JEDIT_JAVA_SYSTEM_OPTIONS;
|
file |
diff |
annotate
|