diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-08-30 15:41:25 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-08-30 15:41:25 +0000 |
| commit | 7e4a73057bdf036c4fb1d00da24dd0b02e400304 (patch) | |
| tree | 56d200089ea3b44925e8dbded5e9b30152ff1e44 /proc/Makefile | |
| parent | 60acec1adcecff9be9d2ea5d555ae21d7e5c7429 (diff) | |
Formerly boot.c.~37~
Diffstat (limited to 'proc/Makefile')
0 files changed, 0 insertions, 0 deletions