]> git.sesse.net Git - remoteglot/history - externs
Remove the score padding; it made sense when a terminal was our primary output, but...
[remoteglot] / externs /
2014-11-24 Steinar H. GundersonClean up the minification stuff a bit; still not really...