projects
/
noc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
73b5120
0feae2d
)
Merge pull request #28 from realraum/doc-ci
author
Christian Pointner
<equinox@spreadspace.org>
Sat, 7 Jul 2018 20:45:50 +0000
(22:45 +0200)
committer
GitHub
<noreply@github.com>
Sat, 7 Jul 2018 20:45:50 +0000
(22:45 +0200)
Add Travis CI build for the documentation
Trivial merge