Commits
| Date | Subject | Author | Releases |
|---|---|---|---|
| 2018-07-13 | Remove obsolete documentation build tools for Windows | Peter Eisentraut | 12.0 |
| 2012-05-15 | Remove whitespace from end of lines | Peter Eisentraut | 9.2.0 |
| 2010-11-23 | Remove useless whitespace at end of lines | Peter Eisentraut | 9.1.0 |