Artifact 182f12845ea6e4556f9909030755d87b83f5ae93a6d57abc6a1deac33a093679:
- File html/gui.html — part of check-in [feb199bddf] at 2022-10-30 15:54:10 on branch trunk — update template (RTD-like) (user: mario, size: 11982) [annotate] [blame] [check-ins using]