Jose 96fcc6b591 Remove unneeded cat command

2020-02-04 15:56:52 -04:00

..

local

Remove unneeded cat command

2020-02-04 15:56:52 -04:00

share/man/man1

initial man page

2020-01-15 19:56:25 +01:00