diff options
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 d0266f391..188b166e6 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -1,4 +1,5 @@ # Unused + #!/bin/bash # IMPORTANT: the following assumptions are made |