| Wed, 13 Mar 2024 23:26:30 +0100 | wenzelm | revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers; | file | diff | annotate |
| Sat, 24 Feb 2024 11:27:04 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 22 Feb 2024 13:00:58 +0100 | wenzelm | proper store.cache.compress; | file | diff | annotate |
| Thu, 22 Feb 2024 12:57:42 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 22 Feb 2024 12:53:07 +0100 | wenzelm | clarified store_session: heap requires process_result.ok, but log_db is always stored; | file | diff | annotate |
| Wed, 21 Feb 2024 19:36:53 +0100 | wenzelm | build local log_db, with store/restore via optional database server; | file | diff | annotate |
| Mon, 19 Feb 2024 11:47:51 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |