git.annexia.org
/
guestfs-browser.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Don't delete old dependency file unless new one builds.
[guestfs-browser.git]
/
filetree_markup.mli
diff --git
a/filetree_markup.mli
b/filetree_markup.mli
index
f3d9083
..
bbd75cb
100644
(file)
--- a/
filetree_markup.mli
+++ b/
filetree_markup.mli
@@
-48,6
+48,3
@@
val markup_of_regvaluetype : Hivex.t -> Hivex.value -> string
val markup_of_regvaluesize : Hivex.t -> Hivex.value -> string
(* Create markup for registry value sizes. *)
-
-val set_visited : Filetree_type.t -> Gtk.tree_iter -> unit
- (* Set a file as visited. *)