diff options
| author | whitequark <whitequark@whitequark.org> | 2019-09-06 05:30:35 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-09-06 05:30:35 +0000 |
| commit | bd540f8408bb432dc6cc7147fb85ab0b53d8e7e1 (patch) | |
| tree | db103399c9b4030d715841f8333c2a13b56e94af /nmigen_boards/dev | |
| parent | f1375702045c2300054f241a3142e0c9540c4b80 (diff) | |
Fix .gitignore.
Diffstat (limited to 'nmigen_boards/dev')
0 files changed, 0 insertions, 0 deletions