Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
History of push.sh
|22:24||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. file: [d686863bbe] check-in: [ac603d6340] user: drh branch: trunk, size: 533 Added|