diff options
author | Lucas Hoffmann <lucc@users.noreply.github.com> | 2016-12-11 01:36:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-11 01:36:12 +0100 |
commit | 86820ab5c53932b6f1967fb957e53f8e8c624cce (patch) | |
tree | 90065a745bf1ed2331e3c4be772ebe4a0901f591 /extra | |
parent | 990b1944258eefecafb83a37239c260c56713d26 (diff) | |
parent | a5044680a6501de8fc60385c1f5c4e133449c407 (diff) |
Merge pull request #912 from lucc/docs
Fix building of docs to ease development
Diffstat (limited to 'extra')
0 files changed, 0 insertions, 0 deletions