Skip to content
GitLab
Explore
Sign in
fix : focus cited_by if no references
Code
Review changes
Check out branch
Download
Patches
Plain diff
Nathan Tien You
requested to merge
focus_cited_by
into
master
Mar 04, 2025
Overview
0
Commits
1
Pipelines
3
Changes
1
Expand
This will hopefully prevent clicking on references by mistake.
Merge request reports
Loading