diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-30 01:38:36 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-31 14:28:36 -0400 |
| commit | 4dd1de72e8e7ece77e8831e77eea650de404af75 (patch) | |
| tree | 11193d7a3798b1bf4f592304af1e8efe9d46f770 /make-man-index.py | |
| parent | a7edaadd78271e1c35ff9032f068cb08de645437 (diff) | |
Remove some dead code
Based on coverity report.
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions