diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2019-03-03 09:23:26 -0800 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2019-03-03 09:23:26 -0800 |
commit | 6c53d18eb2f4e39177174a93d9a8a981a6597962 (patch) | |
tree | 8456e315e51390560f4de68b718709705b3ae163 /html-test/ref/NamespacedIdentifiers.html | |
parent | b682041ed1cbeaf5aa501f85e4e46a6d2e39da3a (diff) | |
parent | 8964666efc4d4ab9756a83d16a02115a38744408 (diff) |
Merge branch 'ghc-8.6' into ghc-8.8
Diffstat (limited to 'html-test/ref/NamespacedIdentifiers.html')
-rw-r--r-- | html-test/ref/NamespacedIdentifiers.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html-test/ref/NamespacedIdentifiers.html b/html-test/ref/NamespacedIdentifiers.html index 73beaa7e..c005727a 100644 --- a/html-test/ref/NamespacedIdentifiers.html +++ b/html-test/ref/NamespacedIdentifiers.html @@ -4,20 +4,20 @@ /><meta name="viewport" content="width=device-width, initial-scale=1" /><title >NamespacedIdentifiers</title - ><link href="new-ocean.css" rel="stylesheet" type="text/css" title="NewOcean" + ><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - > </span + ></span ><ul class="links" id="page-menu" ><li ><a href="index.html" @@ -116,7 +116,7 @@ >Bar</a ></td ><td class="doc empty" - > </td + ></td ></tr ></table ></div @@ -143,4 +143,4 @@ ></div ></body ></html -> +>
\ No newline at end of file |