diff options
| author | Morris Jobke <morris.jobke@gmail.com> | 2013-08-17 12:33:11 +0400 |
|---|---|---|
| committer | Morris Jobke <morris.jobke@gmail.com> | 2013-08-17 12:33:11 +0400 |
| commit | 746d32eb059267799af8c5797850a6843e04d19f (patch) | |
| tree | ab6ef691b57741dbd072af7190f274ceeff02603 /core/doc | |
| parent | 837cefd8a3a7540b37afb42312f1397baa70c3ac (diff) | |
fix difference between packaged version and master
Diffstat (limited to 'core/doc')
| -rw-r--r-- | core/doc/admin/index.html (renamed from core/doc/admin/index.php) | 0 | ||||
| -rw-r--r-- | core/doc/user/index.html (renamed from core/doc/user/index.php) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/core/doc/admin/index.php b/core/doc/admin/index.html index 7785f2ce2f1..7785f2ce2f1 100644 --- a/core/doc/admin/index.php +++ b/core/doc/admin/index.html 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 |