diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-04-14 21:01:01 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-04-14 21:01:01 +0200 |
| commit | 4033816a7ce4a24230f462b5c22183c1b45e24df (patch) | |
| tree | d49d4e90a001d45a2e96d5ec0a00376bc81df501 /kern/shell.h | |
| parent | 8088131a4e0165938593577a9cfa87de7ffd22bc (diff) | |
Fix left-over reserved identifiers
For some reason, commit be5b9d6ab9f7e7a81c367e4bb0823ba11f85940f didn't
take care of all reserved identifiers.
Diffstat (limited to 'kern/shell.h')
0 files changed, 0 insertions, 0 deletions