Home
last modified time | relevance | path

Searched refs:finger_rev (Results 1 – 1 of 1) sorted by relevance

/dokuwiki/inc/ChangeLog/
H A DChangeLog.php442 $finger_rev = $tmp['date'];
444 if ($finger_rev > $rev) {