"js/shAutoloader.js","js/shCore.js","js/shBrushPython.js","js/shBrushRuby.js",
] ,
# thierry: see this file for details of why we turn this off for now
"js/shAutoloader.js","js/shCore.js","js/shBrushPython.js","js/shBrushRuby.js",
] ,
# thierry: see this file for details of why we turn this off for now