2017-07-15 | Ralf Jung | wording | blob | commitdiff | raw |
2017-07-15 | Ralf Jung | tone it down a little | blob | commitdiff | raw | diff to current |
2017-07-15 | Ralf Jung | editing | blob | commitdiff | raw | diff to current |
2017-07-15 | Ralf Jung | post on UB | blob | commitdiff | raw | diff to current |