beremiz

Various unrelated code quality enhancements and fixes with no effect on execution.

18 months ago, Edouard Tisserant
3ef4b5b202fc
Various unrelated code quality enhancements and fixes with no effect on execution.
<?xml version="1.0" encoding="UTF-8"?>
<BeremizRoot URI_location="LOCAL://">
<TargetType/>
</BeremizRoot>