diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-06-09 09:38:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-09 09:38:53 +0200 |
| commit | e00e7fec541220fcdd5c21c5a563a9bffe670b32 (patch) | |
| tree | 864cd71d2213502c81b465e46a76753d158868c6 /lib/core | |
| parent | d4543500ee3be17f8c1738f271f2fe9fc23162c9 (diff) | |
| parent | 5e54cd9fc9ce21311a4991f550e420f5bf1bd726 (diff) | |
| download | Nim-e00e7fec541220fcdd5c21c5a563a9bffe670b32.tar.gz | |
Merge pull request #7873 from ehmry/GenodeEnv
Native access to Genode environment
Diffstat (limited to 'lib/core')
0 files changed, 0 insertions, 0 deletions