added a help-html command for simple printing of the commands in a structure... (!43) · Merge requests · Lajos Bojtar / simpa

Sidney Goossens requested to merge simple-html-command into master Jul 13, 2022

added a help-html command for simple printing of the commands in a structure that can be used on the website

added a help-html command for simple printing of the commands in a structure...