| commit | 9a913bedeb5dd16d15db197cefa11e7c99f21aff | [log] [tgz] |
|---|---|---|
| author | Kilian Evang <noreply@texttheater.net> | Sun Feb 19 10:35:48 2017 |
| committer | Kilian Evang <noreply@texttheater.net> | Sun Feb 19 10:35:48 2017 |
| tree | 3b24470b81d2d8bd54887ea86d5272a866d46c60 | |
| parent | 959039d5b7d2d80166eb45960b750ca279e2d64b [diff] |
Split up Ratio into a core function and a wrapper As for the other properties (edit distance and edit script).