Searched refs:ref (Results 1 – 3 of 3) sorted by relevance
85 options[ref]=195 options[ref]=0101 options[ref]=0106 options[ref]=1115 options[ref]=0179 local ref=$1 f=$2181 git cat-file -p $ref:$f209 local ref=$1 f=$2212 git diff -W $ref^..$ref -- $f | patch_ranges225 local ref=$1 r f start end length[all …]
9 # Chech HEAD git ref
1619 int ref = 0; in dnsname_to_labels() local1641 if (table && (ref = dnslabel_table_get_pos(table, name)) >= 0) { in dnsname_to_labels()1642 APPEND16(ref | 0xc000); in dnsname_to_labels()