commit | 190dfd7b6897647c567eb7b0ad92a0d3de8143a9 | [log] [tgz] |
---|---|---|
author | Michael Jastram <michael@jastram.de> | Wed Feb 25 22:30:47 2015 +0100 |
committer | Michael Jastram <michael@jastram.de> | Wed Feb 25 22:30:47 2015 +0100 |
tree | 5c0b36bdf3c23b0d6ad696516c38d1285a0aff71 | |
parent | b6fbd69038561636d67ccdffd37a1d3c238d3751 [diff] |
Docu Hyphenation optimization