3 Commits

Author	SHA1	Message	Date
Paul Hinze	3080c827d8	scripts: change website_push to push from HEAD ... so it works properly on release branches	2015-07-28 18:38:59 -05:00
Jeff Zellner	ac462d2ef1	use /usr/bin/env bash	2015-06-30 11:52:11 -06:00
Jack Pearkes	b30c17a499	website: add website deploy, tweak fonts	2014-07-28 10:28:41 -04:00