Return to cgi-polymake.sh CVS log

Up to [local] / OpenXM / src / polymake / cgi

Annotation of OpenXM/src/polymake/cgi/cgi-polymake.sh, Revision 1.1

1.1     ! takayama    1: #!/bin/bash
        !             2: # $OpenXM$
        !             3: source $(OpenXM_HOME)/rc/dot.bashrc
        !             4: sm1 -q -s "[(parse) (oxs.sm1) pushfile] extension oxNoX [(parse) (cgi.sm1) pushfile] extension cgiPolymake quit "