diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-03-22 21:00:49 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-22 21:00:49 +0000 |
commit | 8b7396ba847674ac909880a3b69997eacf4020ba (patch) | |
tree | a5fdd8bd39775d399dad9cb9205c4f7d7ed061d0 /proc/mgt.c | |
parent | 61ac9e77761c1558046f24ec7d939e4576bf9745 (diff) |
Formerly info.c.~2~
Diffstat (limited to 'proc/mgt.c')
0 files changed, 0 insertions, 0 deletions