wfcqueue: document empty criterion
This page took 0.038939 seconds and 3 git commands to generate.