sh.1: Remove unneeded .Pp
commit32efd8576541e2491c73cea5df5594b5b99eb6ae
authorSascha Wildner <saw@online.de>
Mon, 14 Feb 2022 19:20:05 +0000 (14 20:20 +0100)
committerSascha Wildner <saw@online.de>
Mon, 14 Feb 2022 19:20:05 +0000 (14 20:20 +0100)
tree817fccb5dfbf8ef8db41d39f24c161965a8a69fe
parentc9c6988b3417c76f002af80950e0b3264917d3b1
sh.1: Remove unneeded .Pp
bin/sh/sh.1