diff options
author | Patrick Totzke <patricktotzke@gmail.com> | 2018-11-11 11:21:13 +0000 |
---|---|---|
committer | Patrick Totzke <patricktotzke@gmail.com> | 2018-11-11 11:21:13 +0000 |
commit | 8d03db4dd3d0aeea866c4eeb47080b82fed9a009 (patch) | |
tree | fdd3e33a0a23b30bc6295660f9c244b5258bafab /docs/source | |
parent | ca6659b637d8a91c21a78317e1dc152939afae5d (diff) |
docs: don't use travis-sphinx
Diffstat (limited to 'docs/source')
0 files changed, 0 insertions, 0 deletions