manual.texi fix minor typo. manual.texi make some @code{} -> @file{} changes Docs/manual.texi: minor fixes
Attach a file by drag & drop or click to upload
