Home Explore Help
Sign In
Godot
/
godot-docs
mirror of https://github.com/godotengine/godot-docs.git
2
0
Fork 0
Files Issues 0 Wiki
Browse Source

Merge pull request #3567 from mhilbrunner/pin-rtd-sphinx-search

Pin ReadTheDocs sphinx search to specific commit instead of master tip
Rémi Verschelde 5 years ago
parent
cc52414fec c26d33bfb4
commit
ddcf9f8df2
1 changed files with 1 additions and 1 deletions
Unified View Show Diff Stats
  1. 1 1
      requirements.txt

+ 1 - 1
requirements.txt
View File 

@@ -10,4 +10,4 @@ sphinx_rtd_theme==0.4.3
 
 sphinx-tabs==1.1.13
 
 sphinx-tabs==1.1.13
 
 
 
 # Full-page search UI for RTD: https://readthedocs-sphinx-search.readthedocs.io
 
 # Full-page search UI for RTD: https://readthedocs-sphinx-search.readthedocs.io
 
-git+https://github.com/readthedocs/readthedocs-sphinx-search@master
 
+git+https://github.com/readthedocs/readthedocs-sphinx-search@faa85a9dabb71e53bb01832edc9a3be07d22bd5a