search

zzrough / gs-extensions-drop-down-terminal

Drop Down Terminal extension for the Gnome Shell
https://extensions.gnome.org/extension/442/drop-down-terminal/
GNU General Public License v3.0
416 stars 91 forks source link

renamed COPYING TO LICENCE for clarification #234

Closed Babak-SSH closed 4 years ago

Babak-SSH commented 5 years ago

close zzrough/gs-extensions-drop-down-terminal #233