?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge mozilla-central and tracemonkey. (a=blockers)
[mozilla-central.git] / build / profile_pageloader.html
blob05e35ccd1beece1d6ed3b406dc0ae1f22aac91db
1 <html>
2 <script>
3 setTimeout("window.close();", 1000);
4 </script>
5 <body>
6 </body>
7 </html>
git mirror of mozilla-central