diff options
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements')
| -rw-r--r-- | files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.md (renamed from files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.md index 13429a0e32..13429a0e32 100644 --- a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html +++ b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.md |