diff options
| l--------- | patches/gdb_minipix-7.12.local.patch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/patches/gdb_minipix-7.12.local.patch b/patches/gdb_minipix-7.12.local.patch new file mode 120000 index 00000000..076ed6b1 --- /dev/null +++ b/patches/gdb_minipix-7.12.local.patch @@ -0,0 +1 @@ +gdb-7.12.local.patch
\ No newline at end of file |