This repository was archived by the owner on Apr 9, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 41
Pull requests: readthedocs/sphinx-hoverxref
Pull requests list
Add a note about the deprecation of this extension
#337
by agriyakhetarpal
was merged Apr 9, 2025
Loading...
Dependencies: all packages updated via pip-tools
#335
by github-actions
bot
was closed Apr 3, 2025
Loading...
Dependencies: all packages updated via pip-tools
#334
by github-actions
bot
was closed Mar 25, 2025
Loading...
Dependencies: all packages updated via pip-tools
#332
by github-actions
bot
was closed Mar 18, 2025
Loading...
Dependencies: all packages updated via pip-tools
#331
by github-actions
bot
was closed Feb 25, 2025
Loading...
Dependencies: all packages updated via pip-tools
#330
by github-actions
bot
was closed Jan 27, 2025
Loading...
Dependencies: all packages updated via pip-tools
#329
by github-actions
bot
was merged Jan 20, 2025
Loading...
Dependencies: all packages updated via pip-tools
#328
by github-actions
bot
was merged Jan 13, 2025
Loading...
Dependencies: all packages updated via pip-tools
#327
by github-actions
bot
was merged Jan 7, 2025
Loading...
Dependencies: all packages updated via pip-tools
#326
by github-actions
bot
was merged Jan 2, 2025
Loading...
Dependencies: all packages updated via pip-tools
#325
by github-actions
bot
was merged Dec 16, 2024
Loading...
Dependencies: all packages updated via pip-tools
#324
by github-actions
bot
was merged Dec 9, 2024
Loading...
Dependencies: all packages updated via pip-tools
#323
by github-actions
bot
was merged Dec 2, 2024
Loading...
Dependencies: all packages updated via pip-tools
#322
by github-actions
bot
was merged Nov 25, 2024
Loading...
Dependencies: all packages updated via pip-tools
#319
by github-actions
bot
was merged Nov 18, 2024
Loading...
Don't disconnect html-page-context event from sphinx-tabs
#318
by stsewd
was merged Nov 11, 2024
Loading...
Dependencies: all packages updated via pip-tools
#317
by github-actions
bot
was merged Nov 11, 2024
Loading...
Dependencies: all packages updated via pip-tools
#316
by github-actions
bot
was merged Oct 28, 2024
Loading...
Dependencies: all packages updated via pip-tools
#314
by github-actions
bot
was merged Oct 14, 2024
Loading...
Dependencies: all packages updated via pip-tools
#311
by github-actions
bot
was merged Oct 7, 2024
Loading...
Dependencies: all packages updated via pip-tools
#310
by github-actions
bot
was merged Sep 30, 2024
Loading...
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.