diff options
| author | dzwdz | 2022-07-11 21:54:51 +0200 |
|---|---|---|
| committer | dzwdz | 2022-07-11 21:54:51 +0200 |
| commit | 2e79a2e5af3affa7a6a3becdffb1c91d89af90af (patch) | |
| tree | c253761c4ec010ad14b08f9ee8dfc1a50411b30f /src/init/shell.h | |
| parent | 6c01d9a7e34e1fccc2775b0e2187ac5e50dd4392 (diff) | |
user: reorganize the userland sources
Diffstat (limited to 'src/init/shell.h')
| -rw-r--r-- | src/init/shell.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/init/shell.h b/src/init/shell.h deleted file mode 100644 index fb27410..0000000 --- a/src/init/shell.h +++ /dev/null @@ -1,3 +0,0 @@ -#pragma once - -void shell_loop(void); |