Lines Matching refs:char
32 foreach char $split_string {
34 if {$char == "\\"} {
35 set char "\\\\\\\\"
36 } elseif {$char == "\r"} {
37 set char "\\\\r"
38 } elseif {$char == "\n"} {
39 set char "\\\\n"
40 } elseif {$char == "\""} {
41 set char "\\\\\""
43 lappend semihosted_list $leading_markers $char $trailing_markers
Indexes created Sat Aug 01 00:24:56 UTC 2026