mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Provide interface documentation for this script. Explain why we check .ml not .mli. Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> Reviewed-by: Ian Jackson <ian.jackson@eu.citrix.com> Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com> Acked-by: Christian Lindig <christian.lindig@citrix.com>