Symbolic html added (required for testing)

c1dbc321 · Michael Hanus · 52562168 · c1dbc321 · c1dbc321
Commit c1dbc321 authored Oct 07, 2017 by Michael Hanus
--- a/.gitignore
+++ b/.gitignore
@@ -17,7 +17,6 @@ currypp/.cpm/packages/currycheck-1.0.1
 currypp/.cpm/packages/rewriting-0.0.1
 currypp/.cpm/packages/abstract-curry-1.0.0
 currypp/.cpm/packages/flatcurry-1.0.0
-currypp/.cpm/packages/html-1.1.0
 currypp/.cpm/packages/xml-0.0.1
 optimize/.cpm/packages/cass-0.0.1
 optimize/.cpm/packages/cass-analysis-0.0.4

--- a/currypp/.cpm/packages/html-1.1.0
+++ b/currypp/.cpm/packages/html-1.1.0
+html
\ No newline at end of file