props @ 73ac57eeaeea default tip

Merge

author	Steve Losh <steve@stevelosh.com>
date	Fri, 29 Aug 2025 14:55:22 -0400
parents	71b4b4adee33
children	(none)

../../bin/props