| 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
|