mars/contrib/example-scripts
2015-06-18 12:17:22 +02:00
..
check-mars-consistent.sh contrib: example script for checking static consistency 2015-06-18 12:17:22 +02:00
check-mars-switchable.sh contrib: example script for checking whether automated switch is 2015-06-18 12:17:22 +02:00