Wed, 18 Dec 2019 21:28:50 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 18 Dec 2019 18:59:16 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 18 Dec 2019 16:31:42 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 18 Dec 2019 16:22:10 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 18 Dec 2019 16:14:54 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 18 Dec 2019 15:10:50 +0100 | wenzelm | more repository information; | file | diff | annotate |