release.sh 252 Bytes
Newer Older
1 2
#!/bin/bash

3 4 5 6 7 8 9
##########
# This bash script has been deprecated; keeping it around only for
# compatibility with old documentation.
#
# The PHP script is the supported one now, so we'll just pass control
# through to there.
##########
10
./release.php $*
11