diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-30T13·21+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-30T13·21+0200 |
| commit | 245d01701d421d5c6aafd2b377a7b14c254f788c (patch) | |
| tree | a0004b50027275a63143d99999feab2391bf1a23 /doc/manual | |
| parent | 1286d86b9540841a9fa451c8e7ee0a6d48ae2527 (diff) | |
upload-release.pl: Handle prerelease versions
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions