This repository was archived by the owner on Jul 22, 2024. It is now read-only.

Update generated user.js to use user_pref#3311

Merged

MortimerGoro merged 1 commit intomasterfrom

May 4, 2020

Commits on May 2, 2020

Update generated user.js to use user_pref
bluemarvin
committed