Tools: master 39e1efa0

Author Committer Branch Timestamp Parent
jreese jreese master 2008-11-18 06:54:13 master 8e2b958b
Changeset

Allow docbook repo script to prune remote branches.

mod - docbook-manual-repo.py Diff File