| Sat, 29 Apr 2017 10:50:48 +0200 | wenzelm | more operations; | file | diff | annotate |
| Thu, 16 Mar 2017 23:26:16 +0100 | wenzelm | clarified signature (again, see also 3ed43cfc8b14); | file | diff | annotate |
| Tue, 28 Feb 2017 17:51:49 +0100 | wenzelm | more operations; | file | diff | annotate |