chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0765f14)
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>
Mon, 30 Dec 2013 16:11:38 +0000 (17:11 +0100)
makebuildserver [moved from makebuildserver.py with 100% similarity] patch | blob | history
updateplugin [moved from updateplugin.sh with 100% similarity] patch | blob | history

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
Unnamed repository; edit this file 'description' to name the repository.