Skip to content

Remove unnecessary extra-intersphinx.txt

Amir MOHAMMADI requested to merge doc into master

Fixes #6 (closed)

Merge request reports