Displaying 1 result from an estimated 1 matches for "80a309d".
Did you mean:
80309
2014 Jan 30
2
[PATCH] builder: remove unused variables
Leftovers of the list_entries_short+list_entries_long split done in
91aae893c70b3877b31803800ba77836fd7a45e8.
---
builder/list_entries.ml | 3 ---
1 file changed, 3 deletions(-)
diff --git a/builder/list_entries.ml b/builder/list_entries.ml
index 2f47231..80a309d 100644
--- a/builder/list_entries.ml
+++ b/builder/list_entries.ml
@@ -47,9 +47,6 @@ let rec list_entries ~list_format ~sources index =
and list_entries_short index =
List.iter (
fun (name, { Index_parser.printable_name = printable_name;
- size = size;
- com...