Meng Xu 21071b6214 Merge pull request #3813 from xumengpanda/mengxu/merge-to-master-PR ... Merge 6.3 to master and resolve conflicts		2020-09-28 15:24:18 -07:00
..
extensions	Port documentation to build via Python3	2020-02-09 03:27:26 +05:30
source	Merge pull request #3813 from xumengpanda/mengxu/merge-to-master-PR	2020-09-28 15:24: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