| Sun, 28 Mar 2021 12:10:14 +0200 | wenzelm | clarified message; | file | diff | annotate |
| Sun, 28 Mar 2021 12:08:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 28 Mar 2021 12:07:46 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Sun, 28 Mar 2021 12:02:20 +0200 | wenzelm | proper export; | 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:39:53 +0200 | wenzelm | more options; | file | diff | annotate |
| Sun, 28 Mar 2021 11:35:08 +0200 | wenzelm | proper Admin script, outside the settings environment; | file | diff | annotate | base |