Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
default_trs
details
attribute
current value
name
default_trs
description
no description
owning solver
muterm 6.0.3
contents
#!/bin/sh command="./muterm -i $1"; $command;
back to muterm 6.0.3