Skip to content
GitLab
Explore
Sign in
Teams
Websites
developer.gnome.org
Merge requests
!174
Remove the link to the old developers docs snapshot
Code
Review changes
Check out branch
Download
Patches
Plain diff
Emmanuele Bassi
requested to merge
ebassi/drop-devel-old
into
main
May 15, 2024
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
The developer-old snapshot has been retired.
Merge request reports