Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
History for push.sh
2012-10-19
| ||
22:24 | Added: [d686863bbe] part of check-in [ac603d6340] Add a script for pushing builds of the website out to all three servers. Take care that draft builds are pushed only in the draft directory. (check-in: [ac603d6340] user: drh branch: trunk, size: 533) | |