diff admin/revdiff @ 98515:09a4b21bd2de

Fix case of "GNUstep".
author Glenn Morris <rgm@gnu.org>
date Sat, 04 Oct 2008 18:49:32 +0000
parents e6db9ee945b8
children ce88a631c161
line wrap: on
line diff