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 /tools/gendist | |
| parent | f2dd602fef2ecf0a6598b817d71ce2ee8fadd5cc (diff) | |
Doc: Document 'empty' operator
Thanks to Alexander Zubkov for the notification.
Diffstat (limited to 'tools/gendist')
0 files changed, 0 insertions, 0 deletions