Optionen non-greedy matchen, weil ansonsten HTML-Kommentar-Ende nicht richtig gematch...
[kivitendo-erp.git] / VERSION
1 2.6.2-unstable