diff unixSoft/bin/patchpipe @ 525:b0fa9e7cadac

shell: speed things up by golfing out grep
author Augie Fackler <raf@durin42.com>
date Mon, 14 Nov 2022 10:46:11 -0500
parents a5a4f9e12c9f
children
line wrap: on
line diff