diff options
| author |  Matej Kosik <matej.kosik@inria.fr> | 2017-02-03 09:02:41 +0100 |
|---|---|---|
| committer | Matej Košík <matej.kosik@inria.fr> | 2017-04-20 13:11:50 +0200 |
| commit | bbec61be495db3de93fc17830405b6d80a271496 (patch) | |
| tree | db21a73c16a76e5a467de3c53f535996e241c5a4 /kernel/context.mli | |
| parent | 4579e180f86923a455a5dc7edf0c1caafe583041 (diff) | |
"tclENV" is sexier, use it instead of "Env.get"
Diffstat (limited to 'kernel/context.mli')
0 files changed, 0 insertions, 0 deletions