Merge branch 'master' of /home/magne/remoteglot
[remoteglot] / externs /
2014-11-24 Steinar H. GundersonClean up the minification stuff a bit; still not really...