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>
Thu, 9 Jan 2014 15:23:48 +0000 (16:23 +0100)
commit69980ed6a509ea4d69f7903d4512d56e9d64e153
treec1e257574553ac0da15a0b7db5f424be4e793173
parenta638202ec6a0fa0333b33304bc884da18e797bee
Strip unnecessary exts from updateplugin and makebuildserver
makebuildserver [moved from makebuildserver.py with 100% similarity]
updateplugin [moved from updateplugin.sh with 100% similarity]