Home
last modified time | relevance | path

Searched refs:_mli (Results 1 – 2 of 2) sorted by relevance

/xen/tools/ocaml/libs/xentoollog/
A Dgenlevels.py104 _mli = sys.argv[1] variable
105 mli = open(_mli, 'w')
/xen/tools/ocaml/libs/xl/
A Dgenwrap.py547 _mli = sys.argv[2] variable
548 mli = open(_mli, 'w')

Completed in 5 milliseconds