remove docs, maybe that will get github pages to work.
This commit is contained in:
parent
5535d7d641
commit
0bea7ef334
54 changed files with 0 additions and 34290 deletions
4249
docs/genindex.html
4249
docs/genindex.html
File diff suppressed because it is too large
Load diff
Reference in a new issue