diff options
Diffstat (limited to 'core/doc/user')
| -rw-r--r-- | core/doc/user/index.html (renamed from core/doc/user/index.php) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/core/doc/user/index.php b/core/doc/user/index.html index ede62f05aee..ede62f05aee 100644 --- a/core/doc/user/index.php +++ b/core/doc/user/index.html |