The unified diff between revisions [f9bf0ab9..] and [23b40306..] is displayed below. It can also be downloaded as a raw diff.

This diff has been restricted to the following files: 'view.mli'

#
#
# patch "view.mli"
#  from [8cf21ebc1a553dbec23d160331a7eced392f7210]
#    to [20aca504f554aa261079f762d6238447a0ee98e6]
#
============================================================
--- view.mli	8cf21ebc1a553dbec23d160331a7eced392f7210
+++ view.mli	20aca504f554aa261079f762d6238447a0ee98e6
@@ -38,12 +38,6 @@ module Branch_selector :
 module Branch_selector :
   sig
     val make : packing:(GObj.widget -> unit) -> branch_selector * find
-    val connect : t -> (Viz_types.query -> unit) -> unit
-    val get_display_sub_branches : t -> bool
-    val clear : t -> unit
-    val populate : t -> string list -> unit
-    val set_branch : t -> string -> unit
-    val get_branch : t -> string option
   end

 module KeyNav :