From 2c8285d3d03ac7a0588daa56c8a2f4a455d7e969 2013-07-16 20:35:32
From: Jonathan Frederic <jdfreder@calpoly.edu>
Date: 2013-07-16 20:35:32
Subject: [PATCH] Fixed still broken remove_ansi, : to ;

---

diff --git a/IPython/nbconvert/filters/ansi.py b/IPython/nbconvert/filters/ansi.py
index 0206425..3177bd2 100644
--- a/IPython/nbconvert/filters/ansi.py
+++ b/IPython/nbconvert/filters/ansi.py
@@ -36,7 +36,7 @@ def remove_ansi(source):
         Source to remove the ansi from
     """
     
-    return re.sub(r'\033\[(\d|:)+?m', '', source)
+    return re.sub(r'\033\[(\d|;)+?m', '', source)
 
 
 def ansi2html(text):