| Thu, 07 Nov 2019 11:29:03 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 11:20:49 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 11:10:06 +0100 |
wenzelm |
more messages -- expose potential database problems;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 11:00:11 +0100 |
wenzelm |
clarified errors: include stdout;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:55:57 +0100 |
wenzelm |
clarified directory;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:54:17 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:50:05 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2019 10:47:33 +0100 |
wenzelm |
clarified permissions;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2019 23:24:16 +0100 |
wenzelm |
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2019 22:51:54 +0100 |
wenzelm |
support for Phabricator mail configuration;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:55:50 +0100 |
wenzelm |
proper names for multiple installations;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:44:51 +0100 |
wenzelm |
more phabricator setup;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:08:15 +0100 |
wenzelm |
proper service name (again): it is specific to each installation;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 22:06:16 +0100 |
wenzelm |
back to plain name, to have it accepted my mysql;
|
file |
diff |
annotate
|