diff options
| author | Hugo Herbelin | 2015-07-28 19:25:51 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-07-30 13:54:22 +0200 |
| commit | 5e60af46bdcb5aa487737961859f80181486516b (patch) | |
| tree | bd312fe6ccedd8ad9be803193710ed1bc1f60363 /kernel | |
| parent | 5cf7ce6afae0e8e5310755f05a26450f428da04f (diff) | |
A printer for printing constants of the env (maybe useful when there are not too many of them).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions