Sat, 17 Apr 2021 19:47:08 +0200 |
wenzelm |
updated example;
|
file |
diff |
annotate
|
Sat, 17 Apr 2021 19:45:12 +0200 |
wenzelm |
clarified options (again);
|
file |
diff |
annotate
|
Fri, 16 Apr 2021 21:54:08 +0200 |
wenzelm |
updated example;
|
file |
diff |
annotate
|
Fri, 16 Apr 2021 21:50:47 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Wed, 31 Mar 2021 11:21:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 31 Mar 2021 11:05:40 +0200 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
Sun, 28 Mar 2021 11:59:30 +0200 |
wenzelm |
more options: build is part of default setup;
|
file |
diff |
annotate
|
Sun, 28 Mar 2021 11:45:00 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Sat, 27 Mar 2021 23:03:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 27 Mar 2021 22:59:12 +0100 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Sat, 27 Mar 2021 20:24:04 +0100 |
wenzelm |
more convenient repository setup;
|
file |
diff |
annotate
|
Mon, 25 Jan 2021 15:58:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 22 Mar 2020 15:10:38 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 05 Jun 2018 00:06:23 +0200 |
wenzelm |
updated URLs;
|
file |
diff |
annotate
|
Fri, 02 Mar 2018 15:16:10 +0100 |
wenzelm |
prefer https;
|
file |
diff |
annotate
|