Merge pull request #498 from efabless/remove_cocotb

remove cocotb directory since it is moved under other repos
efabless · Oct 23, 2023 · cc1cd7f · cc1cd7f
2 parents 4996d33 + 0e3b9dd
commit cc1cd7f
Show file tree

Hide file tree

Showing 116 changed files with 0 additions and 13,899 deletions.
diff --git a/verilog/dv/cocotb/.gitignore b/verilog/dv/cocotb/.gitignore
diff --git a/verilog/dv/cocotb/README.md b/verilog/dv/cocotb/README.md