diff --git a/patches/gdb_minipix-7.12.local.patch b/patches/gdb_minipix-7.12.local.patch new file mode 120000 index 0000000..076ed6b --- /dev/null +++ b/patches/gdb_minipix-7.12.local.patch @@ -0,0 +1 @@ +gdb-7.12.local.patch \ No newline at end of file