# HG changeset patch # User Christian Urban # Date 1665410851 -3600 # Node ID d9d52f3e7935e41dc96d869a1097ef4041cadaa2 # Parent 8a8d87394608589072eda3148e625cb573c482b8 texupdated diff -r 8a8d87394608 -r d9d52f3e7935 cws/build.sc --- a/cws/build.sc Mon Oct 10 15:06:41 2022 +0100 +++ b/cws/build.sc Mon Oct 10 15:07:31 2022 +0100 @@ -21,5 +21,6 @@ @main def hg() = { - os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call() + println(s"$files") + println(os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call()) } diff -r 8a8d87394608 -r d9d52f3e7935 cws/cw01.pdf Binary file cws/cw01.pdf has changed diff -r 8a8d87394608 -r d9d52f3e7935 cws/cw02.pdf Binary file cws/cw02.pdf has changed diff -r 8a8d87394608 -r d9d52f3e7935 cws/cw03.pdf Binary file cws/cw03.pdf has changed diff -r 8a8d87394608 -r d9d52f3e7935 cws/cw04.pdf Binary file cws/cw04.pdf has changed diff -r 8a8d87394608 -r d9d52f3e7935 cws/cw05.pdf Binary file cws/cw05.pdf has changed