Remove more junk files and scripts (#20682)

This commit is contained in:
Ryan
2023-05-03 12:24:37 +10:00
committed by GitHub
parent 8b47aafdab
commit fb48db4c8f
13 changed files with 0 additions and 3164 deletions

View File

@@ -1,2 +0,0 @@
#!/bin/bash
make keebio/levinson/rev2:issmirnov

View File

@@ -1,2 +0,0 @@
#!/bin/bash
make keebio/levinson/rev2:issmirnov:dfu-split-left