| Wed, 17 Apr 2024 21:20:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:38:54 +0200 |
wenzelm |
minor performance tuning: avoid redundant server access;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:37:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:53:10 +0200 |
wenzelm |
clarified modules and options (from store);
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:27:40 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 14:48:08 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 12 Apr 2024 17:07:33 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2024 10:50:12 +0100 |
wenzelm |
tuned signature: more uniform SQL.Data instances;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 21:42:02 +0100 |
wenzelm |
more thorough Store.clean_output (amending 1fa1b32b0379);
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 21:03:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 20:54:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2024 20:21:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2024 19:59:35 +0100 |
wenzelm |
clarified signature;
|
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:39:15 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Mon, 19 Feb 2024 11:30:37 +0100 |
wenzelm |
more explicit build_cluster flag to guard open_build_database server;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 19:09:05 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 15:16:20 +0100 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 15:15:07 +0100 |
wenzelm |
clarified signature: more comprehensive operations;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 15:03:47 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 13:32:44 +0100 |
wenzelm |
clarified signature: emphasize physical db files;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 15:07:41 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|