beremiz

Runtime web settings: fix punctuation and update CSS again

2023-11-22, Edouard Tisserant
dcc83e03d065
Runtime web settings: fix punctuation and update CSS again
<xsd:element name="Win32">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>