Update winclada.run

This commit is contained in:
kuoi 2022-03-10 14:28:33 +00:00 committed by GitHub
parent f56c7b0cc9
commit 0472f7059b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,7 +8,7 @@ procedure mor.tnt ;
log winclada.log ; log winclada.log ;
hold 100000 ; hold 100000 ;
xpiwe(*; mult=replic 100 tbr hold 1000; xpiwe(*; mult=replic 1000 tbr hold 10;
xpiwe&; piwe&; xpiwe&; piwe&;
export= treeswc.tre ; export= treeswc.tre ;