diff options
| author | Robert Norton | 2016-05-12 12:10:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-12 12:10:00 +0100 |
| commit | f2d1251696941469f9356c7d5a809cf21bda0e24 (patch) | |
| tree | 529ea344b7a5b020d0a851945d0b6e25bc054146 /src/lem_interp/run_with_elf.ml | |
| parent | 326683143803c615b7d1ede0107eb0a2f13ea56f (diff) | |
rename ephemeral/non_ephemeral to global/local in accordance with current usage.
Diffstat (limited to 'src/lem_interp/run_with_elf.ml')
0 files changed, 0 insertions, 0 deletions