Update the manual
commit63ac3a328d786ea149136e5ad1393e0b2d7d8ca1
authorpgen <p.gen.progs@gmail.com>
Tue, 5 May 2020 21:35:50 +0000 (5 23:35 +0200)
committerpgen <p.gen.progs@gmail.com>
Tue, 5 May 2020 21:35:50 +0000 (5 23:35 +0200)
tree8f8910240a861abfbf8cb5e3431b9bf7a0c8feec
parent92982ac7b3e6721fa86c36e27d2089c274bd54fc
Update the manual
ctxopt.3