Tue, 20 Dec 2016 17:09:40 +0100 | wenzelm | added option -T: text length encoding; | changeset | files |
Tue, 20 Dec 2016 16:08:02 +0100 | wenzelm | more systematic text length wrt. encoding; | changeset | files |
Tue, 20 Dec 2016 10:45:20 +0100 | wenzelm | tuned; | changeset | files |