From 4ef0192913efe7d1ccc254d96d9cc1151d70b0ae Mon Sep 17 00:00:00 2001 From: =?utf8?q?Daniel=20Mart=C3=AD?= Date: Mon, 30 Dec 2013 17:11:38 +0100 Subject: [PATCH] Strip unnecessary exts from updateplugin and makebuildserver --- makebuildserver.py => makebuildserver | 0 updateplugin.sh => updateplugin | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename makebuildserver.py => makebuildserver (100%) rename updateplugin.sh => updateplugin (100%) 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 -- 2.30.2