Merge branch 'master' of dragon:/home/dav/yacasl2
[YACASL2.git] / test / system / casl2 / hello / cmd
1 cat ../../../../as/hello.casl
2 ../../../../casl2 -sla ../../../../as/hello.casl