diff man/basic.texi @ 26754:603ff5e39b74

Remove duplicate entry for arm*-*linux-gnu; my change missing a ChangeLog entry I couldn't check in.
author Dave Love <fx@gnu.org>
date Tue, 07 Dec 1999 10:33:35 +0000
parents ac7e9e5e2ccb
children dddb1bca9704
line wrap: on
line diff