Commit 881153fc authored by François Bobot's avatar François Bobot

[Session] do not print the filename of the session in the asciitree

  because it is not part of the content of the file, and disallows
  simple diffing
parent 7c649129
......@@ -379,7 +379,11 @@ module PTreeT = struct
| Session s ->
let l = ref [] in
session_iter (fun a -> l := (Any a)::!l) s;
Filename.basename s.session_dir,!l
(** Previously "" was `Filename.basename s.session_dir` but
the tree depend on the filename given in input and not the content
which is not easy for diffing
*)
"",!l
end
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment