| Fri, 23 Jun 2017 16:16:41 +0200 | wenzelm | indent = 0 for blank lines: produce less whitespace by default; | changeset | files |
| Fri, 23 Jun 2017 15:46:25 +0200 | wenzelm | clarified prev_line: stop at blank line; | changeset | files |
| Fri, 23 Jun 2017 14:59:00 +0200 | wenzelm | more information; | changeset | files |
| Fri, 23 Jun 2017 14:38:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 23 Jun 2017 14:24:48 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 23 Jun 2017 14:21:16 +0200 | wenzelm | avoid trailing spaces; | changeset | files |