diff doc/howto.mm @ 2295:d18586476827

redo resource-display, fixing the rename button
author drewp@bigasterisk.com
date Tue, 30 May 2023 01:01:40 -0700
parents d14c82953b43
children
line wrap: on
line diff