diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-04-12 22:43:08 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-04-12 22:45:06 -0400 |
| commit | 4a61c3e51e96a747c30598d78ee3a24e7c569e9f (patch) | |
| tree | e7042a97a1bc33c99bf27776bb46937347dd7f15 /docs/.gitignore | |
| parent | 2ae4842b6c8b7c3445bceaa8bfc8d019a7d9edcd (diff) | |
journal: use (void) to silence coverity
This shouldn't really fail and anyway not much we can do about it.
CID #996292, #996294, #996295.
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions