default_trs

loading
details
attribute current value
name default_trs
description no description
owning solver muterm 5.18
contents 
#!/bin/sh

command="./muterm -i $1";

$command;

back to muterm 5.18