Commit 0bc736ad4b02989f96e8395d5971a7e1614bb9eb

Victorien ELVINGER 2015-01-15T19:12:34

Remove uneeded precisions for known issues

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/examples/prism-eiffel.html b/examples/prism-eiffel.html
index 00331fb..c07021f 100644
--- a/examples/prism-eiffel.html
+++ b/examples/prism-eiffel.html
@@ -70,7 +70,6 @@ end
 
 <h2>Known failures</h2>
 <h3>Strings in comments</h3>
-<p>A string into s comment is highlighted.</p>
 <pre><code>
 -- A "hacked" comment
 </code></pre>