Skip to content
GitLab
Explore
Sign in
Utilities
Konsole
Merge requests
!222
Profile export header
Code
Review changes
Check out branch
Download
Patches
Plain diff
Gustavo Carneiro
requested to merge
araujoluis/konsole:profile_export_header
into
master
Sep 23, 2020
Overview
0
Commits
1
Pipelines
0
Changes
8
Expand
Depends on
!221 (merged)
Merge request reports