diff options
| author | Joerg Jaspert <joerg@debian.org> | 2016-01-06 22:39:52 +0100 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2016-01-06 22:39:52 +0100 |
| commit | dd2273aa170686aa3988f3713f5b573881335306 (patch) | |
| tree | 1d57931a222a4625c8a58dc1cecd57057d4f8572 /bin/pushpdo | |
| parent | f086b996fc19120dcba964466390475337013e56 (diff) | |
Style (no "" in [[ ]] and spaces in $(( )) )
Diffstat (limited to 'bin/pushpdo')
0 files changed, 0 insertions, 0 deletions