diff options
| author | pukkandan <pukkandan@gmail.com> | 2021-01-07 12:11:05 +0530 |
|---|---|---|
| committer | pukkandan <pukkandan@gmail.com> | 2021-01-07 17:22:45 +0530 |
| commit | c76eb41bb9e7e0a106ce44f4afcf74b0c00a3fb2 (patch) | |
| tree | ed835b466e6350eef3960198a8569f946a79bac0 /devscripts/release.sh | |
| parent | dbbbe555d7a64ff65de5f8a78cc276a848c2e227 (diff) | |
Preparing for release
Diffstat (limited to 'devscripts/release.sh')
| -rwxr-xr-x | devscripts/release.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index 04cb7fec1..2da2ac471 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -1,3 +1,4 @@ +# Unused #!/bin/bash # IMPORTANT: the following assumptions are made |