diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-13 21:20:01 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-13 23:42:17 -0400 |
| commit | dc75168823540076b354135f6e2de7a9a978fbca (patch) | |
| tree | f68468cd05daeb0c557e21432a260dd7a007bb19 /tools/make-man-index.py | |
| parent | 2ae56591b5b25b1ee33e40612f1ae0593218d56c (diff) | |
Use space after a silencing (void)
We were using a space more often than not, and this way is
codified in CODING_STYLE.
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions