diff options
| author | dzwdz | 2022-07-26 23:23:50 +0200 |
|---|---|---|
| committer | dzwdz | 2022-07-26 23:23:50 +0200 |
| commit | c8b55b3fd4924abcdf919458b0d8adb0ec00b0f2 (patch) | |
| tree | 4afc9ef487f435b79a7eb42cb8bc616c164e64c0 /src/user/app/init/shell.h | |
| parent | 57152f6a03d857118fa82e0a28657d869f4c7110 (diff) | |
user: break out the shell and tests into separate binaries
Diffstat (limited to 'src/user/app/init/shell.h')
| -rw-r--r-- | src/user/app/init/shell.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/user/app/init/shell.h b/src/user/app/init/shell.h deleted file mode 100644 index fb27410..0000000 --- a/src/user/app/init/shell.h +++ /dev/null @@ -1,3 +0,0 @@ -#pragma once - -void shell_loop(void); |