diff configure.in @ 87722:5d38dcdc3044

Mention that old platforms are no longer supported. Add a reference to the full list in MACHINES.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 12 Jan 2008 15:23:58 +0000
parents 107ccd98fa12
children 8da4f8bf7244 606f2d163a64
line wrap: on
line diff