chiark / gitweb /
Strip unnecessary exts from updateplugin and makebuildserver
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 30 Dec 2013 16:11:38 +0000 (17:11 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 30 Dec 2013 16:11:38 +0000 (17:11 +0100)
commit4ef0192913efe7d1ccc254d96d9cc1151d70b0ae
treec1e257574553ac0da15a0b7db5f424be4e793173
parent0765f14c9d065a67012aefbec81c5562ccdf2cc8
Strip unnecessary exts from updateplugin and makebuildserver
makebuildserver [moved from makebuildserver.py with 100% similarity]
updateplugin [moved from updateplugin.sh with 100% similarity]