Skip to content
Snippets Groups Projects
Commit bd49273c authored by anonym's avatar anonym
Browse files

Clean up seemingly unused code. 

We have decided to stick with GNOME's default keyboard shortcut so we
do not need this non-default shortcut any more, and it doesn't seem to
work any way.

Refs: #10913
parent 0bbd8d05
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment