The unified diff between revisions [6e1b1069..] and [7891617d..] is displayed below. It can also be downloaded as a raw diff.

This diff has been restricted to the following files: 'main.ml'

#
#
# patch "main.ml"
#  from [c4252b62386dbca252641e1cca98cb4509ccc0b3]
#    to [171b8de171d32ae021b3ed083a57f12dbbf5ce35]
#
============================================================
--- main.ml	c4252b62386dbca252641e1cca98cb4509ccc0b3
+++ main.ml	171b8de171d32ae021b3ed083a57f12dbbf5ce35
@@ -1,14 +1,5 @@ open Viz_misc
 open Viz_misc

-let unquote s =
-  if s.[0] = '"'
-  then
-    let len = String.length s in
-    Revision_lexer.string
-      (Buffer.create len)
-      (Lexing.from_string (String.sub s 1 (len - 1)))
-  else s
-
 let parse_options args =
   match args with
   | db :: _ -> Some db