tree 982c1954f7465acb186e9c4a1b0a01256cb26e4b
parent dfd731caeb11c29243d4950f0781584f8ba1835a
author Alex Ruiz <alruiz@google.com> 1335180432 -0700
committer Alex Ruiz <alruiz@google.com> 1335180432 -0700

Finished "Colors" preference page. Need to update terminal colors when
preferences change.