Add rudimentary extension build script

master
Frank Ploss 9 years ago
parent e604cec961
commit e3adad08a8

@ -0,0 +1,3 @@
#! /bin/sh
git archive --format=zip HEAD -o tor-gnome-shell-extension.zip
Loading…
Cancel
Save