aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorIan Jackson <ian.jackson@eu.citrix.com>2012-01-13 16:54:09 +0000
committerIan Jackson <ian.jackson@eu.citrix.com>2012-01-13 16:54:09 +0000
commita474119259358e366438b744a7379a7887d991e3 (patch)
tree6bc5ef5e9e02e5c39a1c40c522a39fad3fc2aa3b /.gitignore
parent9f8aebe26c057b4f42488905c5d97693e255d1f1 (diff)
downloadxen-a474119259358e366438b744a7379a7887d991e3.tar.gz
xen-a474119259358e366438b744a7379a7887d991e3.tar.bz2
xen-a474119259358e366438b744a7379a7887d991e3.zip
.gitignore: ocaml: add xenlight.mli
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com> Committed-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 625ceeebea..297191e305 100644
--- a/.gitignore
+++ b/.gitignore
@@ -359,6 +359,7 @@ tools/ocaml/libs/xl/_libxl_types.inc
tools/ocaml/libs/xl/_libxl_types.ml.in
tools/ocaml/libs/xl/_libxl_types.mli.in
tools/ocaml/libs/xl/xenlight.ml
+tools/ocaml/libs/xl/xenlight.mli
tools/ocaml/xenstored/oxenstored
tools/debugger/kdd/kdd