Rename bitfile files

hqjenny · Dec 19, 2020 · de93477 · de93477
1 parent 96e29d4
commit de93477
Show file tree

Hide file tree

Showing 4 changed files with 1,746 additions and 2,643 deletions.
diff --git a/sw/bitfile/batch.bit b/sw/bitfile/batch.bit