diff Makefile.in @ 57102:5c078eb058f8

Put /dev into @file.
author Francesco Potortì <pot@gnu.org>
date Tue, 14 Sep 2004 15:22:48 +0000
parents 55fd4f77387a
children 4f686c82cfc9 cce1c0ee76ee
line wrap: on
line diff