From 4c1e0ef25c636c61fb4049bd2056cace686994a9 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Wed, 17 Aug 2005 19:48:56 +0000
Subject: * (bug 3175) update filenames in documentation files

---
 docs/user.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/user.txt')

diff --git a/docs/user.txt b/docs/user.txt
index 927889234935..3f1c8202ef2d 100644
--- a/docs/user.txt
+++ b/docs/user.txt
@@ -1,5 +1,5 @@
 
-USER.DOC
+user.txt
 
 Documenting the MediaWiki User object.
 
-- 
cgit v1.2.3