search

bo32 / gnome-shell-extension-isshu

7 stars 1 forks source link

[#7] fix the different terminals that can be used #10

Closed bo32 closed 6 years ago