diff options
| author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-07-19 16:28:45 +0100 |
|---|---|---|
| committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-07-19 16:49:32 +0100 |
| commit | 6e8bc1dca77bbbc5743f63a2e8ea5b1eab0ed80c (patch) | |
| tree | 5f4ad32677af3e2b95e468e5bcab94c38e5d88e1 /tests/html-tests/tests/mini_Ticket75.html.ref | |
| parent | 105f31e1b5b1428ae27590893740017327d322ff (diff) | |
| parent | 2a931d32cfdbd20d4da0cff6415a3aaf47823938 (diff) | |
Forward port changes from stable.
Diffstat (limited to 'tests/html-tests/tests/mini_Ticket75.html.ref')
| -rw-r--r-- | tests/html-tests/tests/mini_Ticket75.html.ref | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/tests/html-tests/tests/mini_Ticket75.html.ref b/tests/html-tests/tests/mini_Ticket75.html.ref new file mode 100644 index 00000000..75ce882c --- /dev/null +++ b/tests/html-tests/tests/mini_Ticket75.html.ref @@ -0,0 +1,39 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" + /><title + >Ticket75</title + ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" + /><script src="haddock-util.js" type="text/javascript" + ></script + ><script type="text/javascript" + >//<![CDATA[ +window.onload = function () {pageLoad();}; +//]]> +</script + ></head + ><body id="mini" + ><div id="module-header" + ><p class="caption" + >Ticket75</p + ></div + ><div id="interface" + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > a <a href="" target="main" + >:-</a + > b</p + ></div + ><div class="top" + ><p class="src" + ><a href="" target="main" + >f</a + ></p + ></div + ></div + ></body + ></html +> |