diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-09-13 13:10:50 +0200 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-09-13 13:10:50 +0200 |
commit | 18ea2ea759963a68a1a9f82d50aa9ed90b128df9 (patch) | |
tree | 777b9e6689e066e7bbcf94169f513c8dec2ef51f /proto/pipe/pipe.h | |
parent | f2dd602fef2ecf0a6598b817d71ce2ee8fadd5cc (diff) |
Doc: Document 'empty' operator
Thanks to Alexander Zubkov for the notification.
Diffstat (limited to 'proto/pipe/pipe.h')
0 files changed, 0 insertions, 0 deletions