diff options
| author | Prashanth Mundkur | 2018-05-22 10:05:44 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-23 12:39:27 -0700 |
| commit | 52965bdc2875ea35f5433e22307a1e951d054417 (patch) | |
| tree | e4ea2a98688a6ad1ce2ad9cbdac4d1624fbf5fce /lib/coq | |
| parent | 7814d91f79d5873224668658c5b11a34affd42ad (diff) | |
Fix incorrect channel in dtc i/o.
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions