diff options
author | Roland McGrath <roland@gnu.org> | 1995-11-22 21:24:49 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1995-11-22 21:24:49 +0000 |
commit | 1bef69eca3daf1d0d84aa99f7db8050f09879449 (patch) | |
tree | 22376d5d5ad892d4096c85397d651dd03ff081e3 /proc/main.c | |
parent | 63eaee18781c6a0c1620eac50015433e52c15fab (diff) |
(request_server): Don't call exec_server.
(S_exec_*): Functions removed.
(boot_script_task_port): Variable removed.
(boot_script_task_*, boot_script_port_*): Functions removed.
Diffstat (limited to 'proc/main.c')
0 files changed, 0 insertions, 0 deletions