guilhem opened this issue 3 years ago · 0 comments
Hi @amezin, I don't see your amazing gnome-shell-extension-ddterm repository anymore. If you don't want to maintain it, can you give latest git sources to create a new one?