diff .gitignore @ 103825:34132718ed92

Update @detailmenu.
author Glenn Morris <rgm@gnu.org>
date Fri, 10 Jul 2009 05:23:47 +0000
parents 762408a9ef5d
children 9a2d92bd2a3e
line wrap: on
line diff