diff util.py @ 173:f244eaee5069

push_cmd: make _isdir() a standalone function
author Patrick Mezard <pmezard@gmail.com>
date Tue, 30 Dec 2008 20:34:03 -0600
parents 463998d266e3
children 57355b0e7bd1
line wrap: on
line diff