Merge pull request #14174 from wxy/20190527-5-GNOME-keyboard-shortcuts-to-be-more-productive

APL:20190527 5 GNOME keyboard shortcuts to be more productive
This commit is contained in:
Xingyu.Wang 2019-06-19 15:27:39 +08:00 committed by GitHub
commit c5e640f422
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,5 @@
[#]: collector: (lujun9972)
[#]: translator: ( )
[#]: translator: (wxy)
[#]: reviewer: ( )
[#]: publisher: ( )
[#]: url: ( )