OpenGrok

46 	while read keyword heading flag
48 		case "$keyword" in
53 		kvar="${keyword}"
54 		case "${keyword}" in
55 		%*)	kvar="p_${keyword#%}"
72 	while read keyword heading flag
74 		case "$keyword" in
79 		kvar="${keyword}"
81 		case "${keyword}" in
82 		%*)	kvar="p_${keyword#%}"

Indexes created Sat Oct 25 16:10:12 GMT 2025