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