Pierre Labastie 84c1565502 Add sphinxcontrib-jquery-2.0.0 ... It is a dependency of sphinx_rtd_theme-1.2.0. Note that the latest version as of today is 3.0.0, but it is rejected by sphinx_rtd_theme.		2023-02-09 11:56:01 +01:00
..
important	building-notes: remove an extra ")"	2023-01-30 17:38:57 +08:00
welcome	Add sphinxcontrib-jquery-2.0.0	2023-02-09 11:56:01 +01:00
introduction.xml	more SVN prop clean up	2021-04-20 19:12:02 +08:00