diff --git a/patches/grep_minipix-3.12.local.patch b/patches/grep_minipix-3.12.local.patch new file mode 120000 index 0000000..1be2f90 --- /dev/null +++ b/patches/grep_minipix-3.12.local.patch @@ -0,0 +1 @@ +grep-3.12.local.patch \ No newline at end of file