Version vom 25. September 2019, 15:26 Uhr von Lauritzl(Diskussion | Beiträge)(Die Seite wurde neu angelegt: „<p>Wandelt eine Release-Nummer in eine Dezimalzahl um.<br> Das ermöglicht das Vergleichen von Release-Nummern.</p> 11.8.5 → {{rel2dec|11.8.5}}“)