diff options
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels')
| -rw-r--r-- | files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.md (renamed from files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html b/files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.md index 3b2b241705..3b2b241705 100644 --- a/files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html +++ b/files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.md |