log push_cmd.py @ 173:f244eaee5069

age author description
Tue, 30 Dec 2008 20:34:03 -0600 Patrick Mezard push_cmd: make _isdir() a standalone function
Tue, 30 Dec 2008 20:33:58 -0600 Patrick Mezard push_cmd: do not store files to delete content
Tue, 30 Dec 2008 19:24:16 -0600 Martin Geisler Combine sort and reverse.