Mon, 29 Mar 2021 12:26:13 +0100 |
paulson |
removal of needless hypothesis in hd_rev and last_rev
|
changeset |
files
|
Sun, 28 Mar 2021 12:21:37 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
Sun, 28 Mar 2021 12:10:14 +0200 |
wenzelm |
clarified message;
|
changeset |
files
|
Sun, 28 Mar 2021 12:08:43 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 28 Mar 2021 12:07:46 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
Sun, 28 Mar 2021 12:02:20 +0200 |
wenzelm |
proper export;
|
changeset |
files
|
Sun, 28 Mar 2021 11:59:30 +0200 |
wenzelm |
more options: build is part of default setup;
|
changeset |
files
|
Sun, 28 Mar 2021 11:45:00 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
Sun, 28 Mar 2021 11:39:53 +0200 |
wenzelm |
more options;
|
changeset |
files
|
Sun, 28 Mar 2021 11:35:08 +0200 |
wenzelm |
proper Admin script, outside the settings environment;
|
changeset |
files
|
Sun, 28 Mar 2021 11:33:30 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
Sat, 27 Mar 2021 23:03:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 27 Mar 2021 22:59:12 +0100 |
wenzelm |
clarified;
|
changeset |
files
|
Sat, 27 Mar 2021 22:48:59 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
Sat, 27 Mar 2021 22:48:15 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|