From ce568c3afb00610d659d3c2bab022983d252f1cd Mon Sep 17 00:00:00 2001 From: Simon Jakobi Date: Wed, 13 Jun 2018 23:49:52 +0200 Subject: html-test: Accept output --- html-test/ref/BugExportHeadings.html | 48 +++++++++--------------------------- 1 file changed, 12 insertions(+), 36 deletions(-) (limited to 'html-test/ref/BugExportHeadings.html') diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 78af3351..17378531 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -76,39 +76,27 @@ >
  • foo :: Int
    • :: Int
  • bar :: Int
    • :: Int
  • baz :: Int
    • :: Int
  • one :: Int
    • :: Int
  • two :: Int
    • :: Int
  • three :: Int
    • :: Int

    foo :: Int :: Int #

    bar :: Int :: Int #

    baz :: Int :: Int #

    one :: Int :: Int #

    two :: Int :: Int #

    three :: Int :: Int #