diff options
| author | Miles Bader <miles@gnu.org> | 1996-06-24 21:35:48 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-06-24 21:35:48 +0000 |
| commit | 039a88b329122f3f4d5e29f2bf59e77d80a04426 (patch) | |
| tree | c284a04942f3f71fd5a9d4c4176ad85d3c3c4fb7 /config.make.in | |
| parent | f74b90d7e3174cca883b072903adaa7dc77c2724 (diff) | |
(main): Fix heuristic to decide whether native booted.
Diffstat (limited to 'config.make.in')
0 files changed, 0 insertions, 0 deletions