chriskempson/tomorrow-theme — pull request #118 by jayferd (2012-09-05 14:23:11+00:00)
Title: gnome-terminal: use a profile named "Tomorrow"

Rather than overwriting the Default theme :).