diff options
author | Joerg Jaspert <joerg@debian.org> | 2009-12-28 22:51:37 +0100 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2009-12-28 22:51:37 +0100 |
commit | 422a8bf4de1a4662268413ee32b8e21e17b77c50 (patch) | |
tree | 068ddd098b4c20c9bda05ea9a3320b5f089222ea /bin/pushpdo | |
parent | 9c0dad2d25d7abbd9842d009483e528d9a0515e4 (diff) |
runmirrors getopts
merge \?) and :) into *)
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'bin/pushpdo')
0 files changed, 0 insertions, 0 deletions