diff pipe.py @ 137:2acb7a80d92d

fix pointless 10.1 destination
author drewp@bigasterisk.com
date Wed, 21 Dec 2022 17:45:05 -0800
parents 0833d1098983
children
line wrap: on
line diff