Searched refs:map_filter (Results 1 – 1 of 1) sorted by relevance
377 "01") main_loop "${levellist[selected_level]}" | map_filter 0 1 ;;378 "10") main_loop "${levellist[selected_level]}" | map_filter 1 0 ;;379 "11") main_loop "${levellist[selected_level]}" | map_filter 1 1 ;;