tweaks to tidy comments
authorGabriel Wicke <gwicke@users.mediawiki.org>
Wed, 12 May 2004 14:30:35 +0000 (14:30 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Wed, 12 May 2004 14:30:35 +0000 (14:30 +0000)
commit5890e384b7ceb384e87eb9056822c2f58241aa9c
tree37b56193e9be24663e2ef521002fc761c06db820
parentc245bfe3ae9763a3a094c17cf677450b66e1b45f
tweaks to tidy comments
includes/DefaultSettings.php