diff admin/build-configs @ 100544:6b79b76d5e30

Header format fix.
author Glenn Morris <rgm@gnu.org>
date Fri, 19 Dec 2008 05:22:47 +0000
parents e6db9ee945b8
children ce88a631c161
line wrap: on
line diff