diff options
author | Peter Eckersley <pde@eff.org> | 2015-12-16 03:17:56 +0300 |
---|---|---|
committer | Peter Eckersley <pde@eff.org> | 2015-12-16 03:17:56 +0300 |
commit | adfed7f4c525f8e20a243761f18461141c6d06c7 (patch) | |
tree | 1236ed8edf712443649b5d0b690b9fb9bf312376 | |
parent | 49e7e830ebab41502983081874700f6cbdae426b (diff) |
dev-release.sh -> release.sh
-rwxr-xr-x | tools/release.sh (renamed from tools/dev-release.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/dev-release.sh b/tools/release.sh index f3912e67c..f3912e67c 100755 --- a/tools/dev-release.sh +++ b/tools/release.sh |