Merge branch 'master' of ssh://www.j8takagi.net:32790/home/git/yacasl2
[YACASL2.git] / monitor / continue_sum10.monitor
1 l sum_10.o
2 d a 0 #18
3 t a
4 c