diff options
| author | Miles Bader <miles@gnu.org> | 1996-08-30 21:34:08 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-08-30 21:34:08 +0000 |
| commit | 27fa35d780235d2f084e9130c2a7edf52d4483a2 (patch) | |
| tree | ca017360116f4a2b7be93e33c863440a06ec9cf3 /pfinet | |
| parent | 03b5ee476565ca5fd9e20d13c3ca2f230615ec95 (diff) | |
(targets): Add vminfo.
(SRCS): Add vminfo.c.
(INSTALL-vminfo-ops): New variable.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions