| commit | d654dedbbb1116bfed989aafd2ee7a004828546b | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Thu Nov 29 00:35:29 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Thu Nov 29 00:35:29 2012 +0200 |
| tree | 14213ed055151133efc364b0c94294c3ac4d4fd3 | |
| parent | 74120996f54b53c26b0682406647a2f8bdf53e8b [diff] |
#16333: document a way to get rid of trailing whitespace when indent is used.