diff options
author | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2016-12-18 10:01:38 +0100 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2016-12-29 19:37:25 +0000 |
commit | 2820726f1d93bd7ccc43805d1b6a4613b606ee10 (patch) | |
tree | 4334c010cd188dab853a7139dd7a4205d18bb7d8 /doc | |
parent | 18d6b513cfa9703aa991718d1fb659867caad739 (diff) |
Release process: fix the --no-web option
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions