hedy 782e7cb18b Don't use h3 header for 'No info' message ...

Not sure what the point here is since there isn't anything beneath the
header anyway.

2023-11-01 15:37:17 +08:00

..

symbols-outline

Don't use h3 header for 'No info' message

2023-11-01 15:37:17 +08:00

symbols-outline.lua

Use lua to create commands

2023-11-01 14:29:56 +08:00