tree d083cfb8c667bf467598749cee8a65b6b74609cd
parent fe5075abe6048f1f0cf7cca74e9e541d96c06284
author Alex Ruiz <alruiz@google.com> 1342306102 -0700
committer Alex Ruiz <alruiz@google.com> 1342306102 -0700

Fixed: [Issue 10] Users should be able to change terminal's title