Searched refs:demandimport (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/isabelle/Admin/Mercurial/
H A Dhgwebdir.cgi15 from mercurial import demandimport; demandimport.enable() namespace
/seL4-l4v-master/l4v/isabelle/Admin/Mercurial/
H A Dhgwebdir.cgi15 from mercurial import demandimport; demandimport.enable() namespace

Completed in 40 milliseconds