texupdated
authorChristian Urban <christian.urban@kcl.ac.uk>
Mon, 10 Oct 2022 15:07:31 +0100
changeset 887 d9d52f3e7935
parent 886 8a8d87394608
child 888 fc812b8f120f
texupdated
cws/build.sc
cws/cw01.pdf
cws/cw02.pdf
cws/cw03.pdf
cws/cw04.pdf
cws/cw05.pdf
--- 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())
 }
Binary file cws/cw01.pdf has changed
Binary file cws/cw02.pdf has changed
Binary file cws/cw03.pdf has changed
Binary file cws/cw04.pdf has changed
Binary file cws/cw05.pdf has changed