--- a/src/Pure/General/mercurial.scala Tue Oct 11 09:32:56 2016 +0200
+++ b/src/Pure/General/mercurial.scala Tue Oct 11 09:37:59 2016 +0200
@@ -47,7 +47,7 @@
command("manifest " + options + opt_rev(rev)).check.out_lines
def log(rev: String = "", template: String = "", options: String = ""): String =
- Library.trim_line(command("log " + options + opt_rev(rev) + opt_template(template)).check.out)
+ command("log " + options + opt_rev(rev) + opt_template(template)).check.out
def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
command("pull " + options + opt_rev(rev) + optional(remote)).check