##// END OF EJS Templates
Fix a typo
Andrew Kreimer -
Show More
@@ -112,7 +112,7 try:
112 112 )
113 113
114 114 except ModuleNotFoundError:
115 # In case intersphinx_registry is not yet packages on current plaform
115 # In case intersphinx_registry is not yet packages on current platform
116 116 # as it is quite recent.
117 117 print("/!\\ intersphinx_registry not installed, relying on local mapping.")
118 118 intersphinx_mapping = config["intersphinx_mapping"]
General Comments 0
You need to be logged in to leave comments. Login now