diff make-dist @ 75823:806ca9a0cc38

back.texi: Remove unused file.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 12 Feb 2007 22:13:59 +0000
parents 3d45362f1d38
children 69151e6e8613 95d0cdf160ea
line wrap: on
line diff