diff config.bat @ 9898:cd6ad88c82fd

(mips-sgi-irix5.[01]*): Distinguish from irix5*. (mips-sgi-irix*): Now an alias for mips-sgi-irix5*.
author Richard M. Stallman <rms@gnu.org>
date Fri, 11 Nov 1994 19:44:48 +0000
parents 9eae919f9a23
children 09c2ad9213dd
line wrap: on
line diff