diff options
Diffstat (limited to 'tools/git2cl')
m--------- | tools/git2cl | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/git2cl b/tools/git2cl deleted file mode 160000 -Subproject 8373c9f74993e218a08819cbcdbab3f3564bbeb |
![]() |
index : riscv-tools/riscv-openocd.git | |
Unnamed repository; edit this file 'description' to name the repository. | root |
aboutsummaryrefslogtreecommitdiff |
m--------- | tools/git2cl | 0 |
diff --git a/tools/git2cl b/tools/git2cl deleted file mode 160000 -Subproject 8373c9f74993e218a08819cbcdbab3f3564bbeb |