comparison config.bat @ 103825:34132718ed92

Update @detailmenu.
author Glenn Morris <rgm@gnu.org>
date Fri, 10 Jul 2009 05:23:47 +0000
parents dc1b2f500b63
children 1d1d5d9bd884
comparison
equal deleted inserted replaced
103824:add588348ed7 103825:34132718ed92