comparison make-dist @ 65529:df114c065371

Fix @setfilename.
author Richard M. Stallman <rms@gnu.org>
date Thu, 15 Sep 2005 12:32:15 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
comparison
equal deleted inserted replaced
65528:f541753d89d5 65529:df114c065371