micropython/report.py | raw changeset files shortlog |
1.1 --- a/micropython/report.py Fri Jun 22 00:11:51 2012 +0200 1.2 +++ b/micropython/report.py Tue Jun 26 23:38:46 2012 +0200 1.3 @@ -305,6 +305,7 @@ 1.4 self._name_link("operator", "operator.%s" % name, name) 1.5 self.stream.write("</div>\n") 1.6 self._popup_end() 1.7 + # NOTE: Handle "is" and "in". 1.8 self._span_end() 1.9 if trailing: 1.10 self.stream.write(" ")