diff options
| author | Enrico Tassi | 2013-12-20 17:37:09 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-05 16:55:58 +0100 |
| commit | d5e353ded3282b2cb2314e8ee59315e3d14c4ce1 (patch) | |
| tree | 359416eb027b698e175f1cb3875bba175552cf25 /dev | |
| parent | cccabf3859d3b7fb79d0a9f477ea284d38a70dab (diff) | |
Environ: export API to transitively close a set of section variables
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions