diff helpgen/readhelp.c @ 11:3aa0f5a02342

Remove unused variable; fix what it was supposed to be doing. (and document it a bit for the next time through here)
author David A. Holland
date Tue, 31 May 2022 00:54:12 -0400
parents ec2b657edf13
children 5581ef01f993
line wrap: on
line diff