diff options
| author | dzwdz | 2022-08-01 22:20:00 +0200 |
|---|---|---|
| committer | dzwdz | 2022-08-01 22:20:00 +0200 |
| commit | 341961b59eb08bfbbb1cc2a43704b8916142a5b2 (patch) | |
| tree | c6120b39e6da14718647f3cbe88209484a52c64b /src/user/app/init | |
| parent | 80bd52a861b6abb0e6b4a1685e4b96581dd09221 (diff) | |
user/shell: add a `time` builtin
Diffstat (limited to 'src/user/app/init')
0 files changed, 0 insertions, 0 deletions