ADD Ajout d'un panneau d'option (non terminé)
[pompage.git] / xpi / defaults / preferences /
drwxr-xr-x   ..
-rw-r--r-- 37 prefs.js