diff doc/howto.mm @ 2332:2aeceb6f03aa

edit-choice defaults to no 'rename' button
author drewp@bigasterisk.com
date Fri, 02 Jun 2023 09:42:48 -0700
parents d14c82953b43
children
line wrap: on
line diff