diff options
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html')
-rw-r--r-- | files/fr/mozilla/add-ons/webextensions/user_interface/devtools_panels/index.html | 3 |
1 files changed, 2 insertions, 1 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.html index e487250175..8dd84fbdf0 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.html @@ -1,12 +1,13 @@ --- title: panneaux devtools -slug: Mozilla/Add-ons/WebExtensions/user_interface/panneaux_devtools +slug: Mozilla/Add-ons/WebExtensions/user_interface/devtools_panels tags: - Débutant - Guide - WebExtensions - interface utilisateur translation_of: Mozilla/Add-ons/WebExtensions/user_interface/devtools_panels +original_slug: Mozilla/Add-ons/WebExtensions/user_interface/panneaux_devtools --- <div>{{AddonSidebar}}</div> |