Tom Wilkie d041bec315 Add lint script, which can also act as an optional presubmit hook.

2015-03-26 15:14:01 +00:00

..

docker-ns

move docker-ns

2014-10-22 14:29:18 +01:00

lint

Add lint script, which can also act as an optional presubmit hook.

2015-03-26 15:14:01 +00:00

merge-into-gh-pages

Add a comment with a link to the gh-pages instructions

2014-12-15 14:38:22 +00:00

publish-gh-pages

Script to publish gh-pages to site

2014-11-14 14:08:45 +00:00

release

re-instate 'make publish'

2015-01-08 20:06:00 +00:00