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)
makebuildserver [moved from makebuildserver.py with 100% similarity]
updateplugin [moved from updateplugin.sh with 100% similarity]

similarity index 100%
rename from makebuildserver.py
rename to makebuildserver
similarity index 100%
rename from updateplugin.sh
rename to updateplugin