26 Nov
2015
26 Nov
'15
4:02 p.m.
On Thu, Nov 26, 2015 at 04:49:03PM +0100, Hartmut Holzgraefe wrote:
On 26.11.2015 16:04, Johannes Wienke wrote:
Da könnte man ein bisschen automatisiert mit der Edit-Distanz spielen um potentielle Vorschläge zur Vereinheitlichung zu generieren.
hach, der Herr Levenshtein verfolgt mich bestimmt noch bis ins Grab ...
Das ganze hilft ja nicht wirklich - 12 und 13 sind ziemlich nah beieinander. Ist aber ja ein ganz anderes Problem. Es gibt eigentlich nichts was "12" heisst ... Der Kollege Levenshtein hilft und nur bei Tippfehlern in der Schreibweise. Flo -- Florian Lohoff f@zz.de We need to self-defend - GnuPG/PGP enable your email today!