Artifact 6e708c8ffa2c13973d8b3e3f00f256da73bf84bec3b0117a47a3adee2a0e1efb:
- File html/gui.html — part of check-in [e8bd4d1278] at 2022-10-28 08:42:10 on branch trunk — add graphics to docs (user: mario, size: 11734) [annotate] [blame] [check-ins using]