Searched refs:help_is_empty (Results 1 – 1 of 1) sorted by relevance
603 let help_is_empty = help.is_empty(); in help() localVariable617 if !help_is_empty { in help()