search

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
299 stars 26 forks source link

Update German translation #796

Closed daPhipz closed 7 months ago

daPhipz commented 7 months ago

See #593.