summaryrefslogtreecommitdiff
path: root/user
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-09-04 16:35:41 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-09-04 16:35:41 +0200
commitca890fb6d576275b0cd5a38139972cef1953401b (patch)
tree01ca7252b1ad9f1fa140b946ce0ad4f8e8e18e79 /user
parent9dc7ac7d2a69bd0b0a8176daa3e5e03d9515d11d (diff)
Lower case user pages.
Diffstat (limited to 'user')
-rw-r--r--user/michaelbanck.mdwn (renamed from user/MichaelBanck.mdwn)0
-rw-r--r--user/pietroferrari.mdwn (renamed from user/PietroFerrari.mdwn)0
-rw-r--r--user/samuelthibault.mdwn (renamed from user/SamuelThibault.mdwn)0
3 files changed, 0 insertions, 0 deletions
diff --git a/user/MichaelBanck.mdwn b/user/michaelbanck.mdwn
index 76e09c28..76e09c28 100644
--- a/user/MichaelBanck.mdwn
+++ b/user/michaelbanck.mdwn
diff --git a/user/PietroFerrari.mdwn b/user/pietroferrari.mdwn
index 0bf63419..0bf63419 100644
--- a/user/PietroFerrari.mdwn
+++ b/user/pietroferrari.mdwn
diff --git a/user/SamuelThibault.mdwn b/user/samuelthibault.mdwn
index b0eab46d..b0eab46d 100644
--- a/user/SamuelThibault.mdwn
+++ b/user/samuelthibault.mdwn