diff unixSoft/bin/patchpipe @ 484:c85072e620a8

append_path_element: new function that I've had for a while
author Augie Fackler <raf@durin42.com>
date Tue, 30 Jun 2020 10:36:15 -0400
parents c7a9cd793e37
children a5a4f9e12c9f
line wrap: on
line diff