Commit 18ea2ea7 by Ondřej Zajíček

Doc: Document 'empty' operator

Thanks to Alexander Zubkov for the notification.
parent f2dd602f
Pipeline #16936 passed with stages
in 17 minutes 23 seconds