diff src/.gitignore @ 104191:8a53cc1b06f5

Fix header.
author Glenn Morris <rgm@gnu.org>
date Sat, 08 Aug 2009 02:34:30 +0000
parents a927f31f34d5
children 579f88c6f33b
line wrap: on
line diff