manual: Bump date to the date of the last change. master
authorUwe Hermann <uwe@hermann-uwe.de>
Tue, 31 Mar 2020 19:48:27 +0000 (21:48 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Tue, 31 Mar 2020 19:48:27 +0000 (21:48 +0200)
commita7f4a81bd96dc9e2095bdb44c0d6276375533bb6
treed6048868e75adf6187d75d3856699749550d3957
parent57dd6be4e1f3f2ceb7f1d56774cb589c400f33d3
manual: Bump date to the date of the last change.
manual/manual.txt