Commit graph

5 commits

Author SHA1 Message Date
Jürg Lehni
8aee93b704 Have publish.sh rely on dist.sh 2013-07-03 14:05:03 -07:00
Jürg Lehni
f32d875b55 Push tags too. 2013-07-03 14:02:37 -07:00
Jürg Lehni
2845313dfd Update publish script. 2013-06-27 03:09:37 -07:00
Jürg Lehni
24b4c931b5 Update publish script. 2013-06-27 00:35:54 -07:00
Jürg Lehni
9bb6ec9ed7 Update build scripts to new approach for publishing. 2013-06-26 19:42:04 -07:00