comparison update-subdirs @ 103077:71fd1fed0dfd

Checked tips.texi.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 26 Apr 2009 02:35:48 +0000
parents f7624bb0bd1f
children 1d1d5d9bd884
comparison
equal deleted inserted replaced
103076:f688a3c7a4ed 103077:71fd1fed0dfd