search

gnome-terminator / terminator

multiple GNOME terminals in one window
https://gnome-terminator.org
GNU General Public License v2.0
2.14k stars 259 forks source link

add missing @with_proxy, fixes #850 #875

Closed AtomsForPeace closed 9 months ago

mattrose commented 9 months ago

Looks good merging