Skip to content
GitLab
Explore
Sign in
Register
GNOME
pitivi
Merge requests
!169
assigned 'ctrl+d' to toggle developer console
Code
Review changes
Check out branch
Download
Patches
Plain diff
Swayamjeet Swain
requested to merge
swayne/pitivi:dev-console_hotkey
into
master
Apr 15, 2019
Overview
9
Commits
1
Pipelines
9
Changes
1
Expand
Fixes
#2291 (closed)
Edited
Apr 16, 2019
by
Swayamjeet Swain
Merge request reports