isdir() should use fetch_rev_num() instead of HEAD
[viewsvn.git] / repository.php
2005-09-12 Robert Sesek- added header