diff options
| author | Josh Chen | 2018-06-05 17:35:49 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-06-05 17:35:49 +0200 |
| commit | 80412abb0fdec553d80a56af16d1cfd8da52e7ed (patch) | |
| tree | e8476f69851b355dee28e703171efb8e7150ff47 /.gitignore | |
| parent | c73a924eb679dea0455414a91dcdeb66b3f827f9 (diff) | |
Proved that the inductor on Sum has the correct type.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions