Bug 1690340 - Part 2: Use the new naming for the developer tools menu items. r=jdescottes
[gecko.git] / build / compare-mozconfig / 
treea9395b1767207826b359db08bb9708d39dd8efea
drwxr-xr-x   ..
-rw-r--r-- 5686 compare-mozconfigs.py
-rw-r--r-- 77 python.ini