From f4928436c01a4707681f6d1a4014a7eb14c44ade 2012-10-03 15:23:54
From: Matthias BUSSONNIER <bussonniermatthias@gmail.com>
Date: 2012-10-03 15:23:54
Subject: [PATCH] change prompt_numper type

prompt number type was number or string ('*', '&nbsp')
require it to be either number, or null

---

diff --git a/IPython/nbformat/v3/v3.withref.json b/IPython/nbformat/v3/v3.withref.json
index cc0031a..8839f89 100644
--- a/IPython/nbformat/v3/v3.withref.json
+++ b/IPython/nbformat/v3/v3.withref.json
@@ -153,7 +153,7 @@
             "type": "array"
         },
         "prompt_number": {
-            "type": ["number","string"],
+            "type": ["number","null"],
             "minimum": 0
         },
         "language": {