diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-11-09T09·26+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-11-09T09·27+0100 |
| commit | fdd19fa2d736bb8ff0e75b963071dfb9dffe1702 (patch) | |
| tree | 7803901eb86f0b1b4d7f23a9dc60b5c13e09056f /doc/manual | |
| parent | 5eddc24fabc131dd917d4b38e170735e11fb8394 (diff) | |
Revert "Bump version"
This reverts commit 5a1a870849d47e198d3690e4befae9b7cd79f098. Counting is hard.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions