-
David Hancock authored
Gnome terminal profiles and gnome terminal management scripts. The scripts prepare terminal windows for the run_tXX.sh scripts in tests/.
98fdac54
Gnome terminal profiles and gnome terminal management scripts. The scripts prepare terminal windows for the run_tXX.sh scripts in tests/.