 David Wragg
|
2db4b7e2ec
|
Add a comment with a link to the gh-pages instructions
It's easier to find the gh-pages scripts than it is to find the
instructions on their use.
|
2014-12-15 14:38:22 +00:00 |
|
|
Matthias Radestock
|
8406d08b77
|
make it work on non-BSD-ish systems
Fixes #199
|
2014-11-18 15:38:17 +00:00 |
|
|
Michael Bridgen
|
04ed4aef6c
|
Script to publish gh-pages to site
Ideally to be used after merging changes from master with
`./bin/merge-into-gh-pages`
|
2014-11-14 14:08:45 +00:00 |
|
|
Michael Bridgen
|
eeff76dbd7
|
Script to merge master/site into gh-pages
|
2014-11-14 14:00:22 +00:00 |
|
|
Matthias Radestock
|
eb5548b1c3
|
move docker-ns
|
2014-10-22 14:29:18 +01:00 |
|