Wed, 26 Apr 2017 16:30:11 +0200 | wenzelm | more robust (see also 6688b9cd443b); | changeset | files |
Wed, 26 Apr 2017 16:13:05 +0200 | wenzelm | more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15; | changeset | files |
Wed, 26 Apr 2017 15:55:40 +0200 | wenzelm | clarified signature; | changeset | files |