# HG changeset patch # User Christian Urban # Date 1665410851 -3600 # Node ID 67d6615fa6e3d1ddc15ed730c77f710d7a6c4a4f # Parent 7a8187cf5bb328a0251323750ab7b2de8f003fcf texupdated diff -r 7a8187cf5bb3 -r 67d6615fa6e3 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 7a8187cf5bb3 -r 67d6615fa6e3 cws/cw01.pdf Binary file cws/cw01.pdf has changed diff -r 7a8187cf5bb3 -r 67d6615fa6e3 cws/cw02.pdf Binary file cws/cw02.pdf has changed diff -r 7a8187cf5bb3 -r 67d6615fa6e3 cws/cw03.pdf Binary file cws/cw03.pdf has changed diff -r 7a8187cf5bb3 -r 67d6615fa6e3 cws/cw04.pdf Binary file cws/cw04.pdf has changed diff -r 7a8187cf5bb3 -r 67d6615fa6e3 cws/cw05.pdf Binary file cws/cw05.pdf has changed