commit | bf6a5c056d4be87d68d0e3e409dbf8f116bc9317 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Jan 11 16:09:57 2017 +0000 |
committer | nicm <nicm> | Wed Jan 11 16:09:57 2017 +0000 |
tree | 355ad75b270e8dceab9042a62e5fda6146cd0140 | |
parent | 7497ecd9798f738c585f1db1bded99ebf97182cf [diff] |
Add a format for terminal type.