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~72 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4ef0192913efe7d1ccc254d96d9cc1151d70b0ae;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