Artifact a71f8392c83fd5920e764b855bd2dbd75948533d9d9bf6385d361b724a80119f:
- File html/index.html — part of check-in [64c2c60322] at 2022-11-12 15:25:51 on branch trunk — introduce plugin_icon() for gui window (user: mario, size: 17349) [annotate] [blame] [check-ins using]