Bug 1690340 - Part 2: Use the new naming for the developer tools menu items. r=jdescottes
[gecko.git] / build / valgrind / 
treef5ad3f37e67737e7480167d26d8e16581535cce7
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
-rw-r--r-- 3702 cross-architecture.sup
-rw-r--r-- 768 i386-pc-linux-gnu.sup
-rw-r--r-- 9094 mach_commands.py
-rw-r--r-- 5347 output_handler.py
-rw-r--r-- 34529 x86_64-pc-linux-gnu.sup