diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-06-13 13:38:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-13 13:38:24 +0200 |
| commit | 15e98223f42bba8a88c1795151e2c40936d428ac (patch) | |
| tree | be3be388fa1de1a6d0f372a3d9f3e45c032d51e6 /icebox | |
| parent | 0cf4a21209a268b94d27839ec2ac4b9fb0cd74e5 (diff) | |
| parent | dc5a4d9934034880bd59d1ed2e63b58f0fad774e (diff) | |
Merge pull request #154 from mithro/icetime-args
icetime: Lowercase the device type information.
Diffstat (limited to 'icebox')
0 files changed, 0 insertions, 0 deletions