mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
tools/ocaml was capable of descending into lib/* and xenstored/ simultaneously, obviously with poor results. Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>