diff options
| author | Miles Bader <miles@gnu.org> | 1995-09-07 13:00:20 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-09-07 13:00:20 +0000 |
| commit | f16d26174389278cb478129ead8e476a00f23046 (patch) | |
| tree | ed7575beeb039086bcdd2f2c17ed3c738750a97c /boot | |
| parent | 0ce22a05b72a1ea04462c57645cd09c7d644639b (diff) | |
(MIGSTUBS): Remove notifyServer.o and interruptServer.o.
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions