Displaying 1 result from an estimated 1 matches for "95f90b7".
Did you mean:
953907
2014 May 14
2
[PATCH 1/2] builder: save the proxy for each entry
Copy the information about the proxy of a source in all the entries of
that source; this way it is possible to use it later when accessing to
the actual image of an entry.
---
builder/index_parser.ml | 2 ++
builder/index_parser.mli | 1 +
2 files changed, 3 insertions(+)
diff --git a/builder/index_parser.ml b/builder/index_parser.ml
index 2040656..40b2116 100644
--- a/builder/index_parser.ml