diff make-dist @ 99003:0702da1d9718

Removed vc2-xtra.texi
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 21 Oct 2008 20:52:14 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff