| javascript:e=document.querySelector('div.highlight>pre');e.innerHTML=e.innerHTML.replace(/( )+/g,function(s){return new Array((s.length/6/4)+1).join(' ')}).replace(/\t/g,' ') |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment