diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-06-26 21:05:21 +0200 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2017-06-26 21:05:21 +0200 |
| commit | 7198ea8a1e575644886c4fe027a41b43cfc1ea5b (patch) | |
| tree | 8d3aab5f91ecd7af10e8fbc8742c37db9cd43392 /livereload | |
| parent | a7765bb3c117efa93866556d2b5b129dae7768bf (diff) | |
Revert "Remove docs building from CI builds"
Now /docs is a Git subtree, so now this should just work.
This reverts commit 214dbdfb6f016d21415bc1ed511a37a084238878.
Diffstat (limited to 'livereload')
0 files changed, 0 insertions, 0 deletions