diff options
| author | Patrick Totzke <patricktotzke@gmail.com> | 2018-11-11 11:27:41 +0000 |
|---|---|---|
| committer | Patrick Totzke <patricktotzke@gmail.com> | 2018-11-11 11:27:41 +0000 |
| commit | 9b01795939b286db8b2207800bdc41e0fd7f9d5a (patch) | |
| tree | 26be8727240268d7eb6693995bd8dce236815006 /extra | |
| parent | a9e04e1467b4e6ef84030967463d0bda8ba89ba2 (diff) | |
docs: really remove travis-sphinx
Diffstat (limited to 'extra')
0 files changed, 0 insertions, 0 deletions