diff options
| author | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-01-13 16:54:09 +0000 |
|---|---|---|
| committer | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-01-13 16:54:09 +0000 |
| commit | a474119259358e366438b744a7379a7887d991e3 (patch) | |
| tree | 6bc5ef5e9e02e5c39a1c40c522a39fad3fc2aa3b /tools | |
| parent | 9f8aebe26c057b4f42488905c5d97693e255d1f1 (diff) | |
| download | xen-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 'tools')
0 files changed, 0 insertions, 0 deletions