Merge branch 'master' of dragon:/home/dav/yacasl2
[YACASL2.git] / test / system / comet2 / cmd_ADDA_adda0_as0 / cmd
1 ../../../../casl2 -O ../../../../as/cmd/ADDA/adda0_as0.casl
2 ../../../../comet2 -td -M8 a.o