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