diff options
| -rw-r--r-- | .gitignore | 1 |
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 |