Skip to content

Commit

Permalink
Delete tools/copro_dis.py (#1833)
Browse files Browse the repository at this point in the history
This functionality has been moved into `picotool`, so remove this Python script to avoid confusion
  • Loading branch information
lurch authored Aug 16, 2024
1 parent 7a0f1f0 commit b271208
Showing 1 changed file with 0 additions and 318 deletions.
318 changes: 0 additions & 318 deletions tools/copro_dis.py

This file was deleted.

0 comments on commit b271208

Please sign in to comment.