Wed, 05 Jun 2024 20:09:04 +0200 |
Fabian Huch |
more page elements;
|
file |
diff |
annotate
|
Wed, 05 Jun 2024 20:06:34 +0200 |
Fabian Huch |
web app: add automatic resize;
|
file |
diff |
annotate
|
Tue, 04 Jun 2024 18:24:38 +0200 |
Fabian Huch |
web app: proper document height;
|
file |
diff |
annotate
|
Mon, 03 Jun 2024 19:37:42 +0200 |
Fabian Huch |
tuned;
|
file |
diff |
annotate
|
Mon, 03 Jun 2024 19:21:22 +0200 |
Fabian Huch |
use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);
|
file |
diff |
annotate
|
Wed, 29 May 2024 16:23:48 +0200 |
Fabian Huch |
clarify routes: absolute in api and relative for frontend;
|
file |
diff |
annotate
|
Wed, 29 May 2024 15:09:48 +0200 |
Fabian Huch |
add auto-reload for more interactive web apps;
|
file |
diff |
annotate
|
Wed, 29 May 2024 14:55:36 +0200 |
Fabian Huch |
clarified web app endpoints;
|
file |
diff |
annotate
|
Mon, 15 Apr 2024 20:35:56 +0200 |
Fabian Huch |
clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
|
file |
diff |
annotate
|
Sat, 30 Mar 2024 01:08:25 +0100 |
Fabian Huch |
moved web_app module from AFP (e.g., for building web services for the distributed build);
|
file |
diff |
annotate
|