Artifact bd7e7636e7b92d26acd0ff7d3aaab53dbe452dba03664fa3a52e661cd37888b1:
- File html/gui.html — part of check-in [e12fd2f3f3] at 2022-10-31 06:12:21 on branch trunk — updated template to mimick RTD theme (barely) (user: mario, size: 12099) [annotate] [blame] [check-ins using]