devtools/docs/preferences.md
dd20802d1472
created 2017-08-29 12:06 +0200
pushed 2017-09-01 21:59 +0000
Julian Descottes Julian Descottes - Bug 1393767 - add documentation about DevTools preferences;r=sole
less more (0) tip