diff options
| author | Hugo Herbelin | 2016-04-09 16:15:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-09 18:26:00 +0200 |
| commit | fa2fa0b2e6ca0fbfb9a9278af211d4ef533b6791 (patch) | |
| tree | 6dbbb2b69ba652361a73eff50b0e6e7baa7e369b /kernel | |
| parent | b5cc4ac65764b0866bf57caa6f9aa7fa631eabf1 (diff) | |
Simplifying code for printing VERNAC EXTEND.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions