diff options
Diffstat (limited to 'html-test/tests/mini_Ticket112.html.ref')
| -rw-r--r-- | html-test/tests/mini_Ticket112.html.ref | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/html-test/tests/mini_Ticket112.html.ref b/html-test/tests/mini_Ticket112.html.ref deleted file mode 100644 index 68a0a5e5..00000000 --- a/html-test/tests/mini_Ticket112.html.ref +++ /dev/null @@ -1,31 +0,0 @@ -<!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 - >Ticket112</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" - >Ticket112</p - ></div - ><div id="interface" - ><div class="top" - ><p class="src" - ><a href="" target="main" - >f</a - ></p - ></div - ></div - ></body - ></html -> |