From: Daniel Martí Date: Mon, 30 Dec 2013 16:11:38 +0000 (+0100) Subject: Strip unnecessary exts from updateplugin and makebuildserver X-Git-Tag: 0.1~23^2~54 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=69980ed6a509ea4d69f7903d4512d56e9d64e153;p=fdroidserver.git Strip unnecessary exts from updateplugin and makebuildserver --- diff --git a/makebuildserver.py b/makebuildserver similarity index 100% rename from makebuildserver.py rename to makebuildserver diff --git a/updateplugin.sh b/updateplugin similarity index 100% rename from updateplugin.sh rename to updateplugin