diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-04-12 22:41:20 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-04-12 22:41:20 -0400 |
| commit | 2ae4842b6c8b7c3445bceaa8bfc8d019a7d9edcd (patch) | |
| tree | e3678f860ededb3c5658e3199ea386a5fb111065 /tools/make-man-index.py | |
| parent | c268628a20e684d6079de6e5da96c10429e6ed1e (diff) | |
pam_system: use (void) to silence coverity
CID #996284.
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions