mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-07 12:15:51 +00:00
49375ecde7
patch by Giacomo Magnini <giacomo.magnini@portalis.it>, r=db48x, sr=Neil |
||
---|---|---|
.. | ||
contents.rdf | ||
p3p.dtd | ||
P3P.properties | ||
pageInfoOverlay.dtd |