mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-25 22:01:30 +00:00
9867b69ca3
patch by giacomo.magnini@portalis.it r=rginda |
||
---|---|---|
.. | ||
contents.rdf | ||
profile.csv.tpl | ||
profile.html.tpl | ||
profile.txt.tpl | ||
profile.xml.tpl | ||
venkman-help.tpl | ||
venkman-output-locale.css | ||
venkman-overlay.dtd | ||
venkman.dtd | ||
venkman.properties |