Meng Xu b2a3b4fd83 Merge branch 'master' into mengxu/merge-6.3-PR		2020-07-20 11:34:18 -07:00
..
extensions	Port documentation to build via Python3	2020-02-09 03:27:26 +05:30
source	Merge branch 'master' into mengxu/merge-6.3-PR	2020-07-20 11:34:18 -07:00
.gitignore	Initial import of cleaned up documentation.	2018-03-13 13:09:35 -07:00
.pip.conf	Initial import of cleaned up documentation.	2018-03-13 13:09:35 -07:00
conf.py	Switch to using the local copy of the rubydomain extension	2019-06-14 09:22:55 -07:00
requirements.txt	Set an actual minimal version for setuptools	2020-01-28 15:58:32 -08:00