diff doc/subterms @ 2182:5db8e7698d6a

reformat
author drewp@bigasterisk.com
date Fri, 19 May 2023 17:00:06 -0700
parents 3b1a435a29b8
children
line wrap: on
line diff