diff options
author | natrixaeria <upezu@student.kit.edu> | 2019-11-02 22:24:34 +0100 |
---|---|---|
committer | natrixaeria <upezu@student.kit.edu> | 2019-11-02 22:24:34 +0100 |
commit | 41bff6a115b9625747f08651aa8209c6767254da (patch) | |
tree | 5eaa41975146953e99981687aca757eae4954e5e /kernel/src/lib.rs | |
parent | 6a6255ec67f335639948db8c62385b136809140d (diff) |
Update help message of the build script
Diffstat (limited to 'kernel/src/lib.rs')
0 files changed, 0 insertions, 0 deletions