Searched refs:finger_rev (Results 1 – 1 of 1) sorted by relevance
155 $finger_rev = $info['date'];157 if ($finger_rev > $rev) {