Documentation Source Text

File History
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

History of push.sh

2012-10-19
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