beremiz
Clone
Summary
Browse
Changes
Graph
Github CI: use new name for test launching script
2022-07-05, etisserant
ec3672b7532b
Github CI: use new name for test launching script
<?xml version='1.0' encoding='utf-8'?>
<SVGHMI xmlns:xsd="http://www.w3.org/2001/XMLSchema" WatchdogInitial="10" WatchdogInterval="5"/>
