diff -r ecead3f2cff9 -r 0e549b299f0b web/data/cubicweb.python.js --- a/web/data/cubicweb.python.js Wed Sep 09 16:13:01 2009 +0200 +++ b/web/data/cubicweb.python.js Wed Sep 09 16:48:39 2009 +0200 @@ -83,10 +83,10 @@ var skip0 = new RegExp('^0*[0-9]+'); var parsed = {}; for (var i1=0,i2=0;i1