Skip to content
GitLab
Explore
Sign in
Utilities
Kate
Merge requests
!1269
drop more tools
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Cullmann
requested to merge
work/no-more-tools
into
master
Jul 29, 2023
Overview
2
Commits
1
Pipelines
2
Changes
3
Expand
we have a proper git integration and moretools in not maintained
Merge request reports