diff lispref/configure.in @ 57102:5c078eb058f8

Put /dev into @file.
author Francesco Potortì <pot@gnu.org>
date Tue, 14 Sep 2004 15:22:48 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff