diff options
| author |  Matej Košík <matej.kosik@inria.fr> | 2017-04-10 16:03:49 +0200 |
|---|---|---|
| committer | Matej Košík <matej.kosik@inria.fr> | 2017-04-10 16:03:49 +0200 |
| commit | f68833cf6969b787dd43257a33f0b2f9297ed599 (patch) | |
| tree | d1e57187272b400165c9bd30843005de4a3e92f1 /kernel/names.ml | |
| parent | 5984a068dc576c96f594be255630036c40afa55e (diff) | |
Revert "simplify: Environ.push_named"
This reverts commit 9394aefa8e519a9e2b1b45659a47d5ff3f15ed16.
Diffstat (limited to 'kernel/names.ml')
0 files changed, 0 insertions, 0 deletions