diff options
Diffstat (limited to 'html-test/ref/PromotedTypes.html')
| -rw-r--r-- | html-test/ref/PromotedTypes.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index ddbef022..828d5224 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -221,6 +221,11 @@ window.onload = function () {pageLoad();}; ></script ><script src="index.js" type="text/javascript" ></script + ><script type="text/javascript" + >// +quickNav.init(); +// +</script ></body ></html >
\ No newline at end of file |