diff options
Diffstat (limited to 'build_tools/clarch/larch/profiles/MV-local/post_process/functions.patch')
| -rw-r--r-- | build_tools/clarch/larch/profiles/MV-local/post_process/functions.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/build_tools/clarch/larch/profiles/MV-local/post_process/functions.patch b/build_tools/clarch/larch/profiles/MV-local/post_process/functions.patch deleted file mode 100644 index eb9034c..0000000 --- a/build_tools/clarch/larch/profiles/MV-local/post_process/functions.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- functions.orig 2008-07-06 10:16:37.000000000 -0500 -+++ functions 2008-07-06 19:42:07.000000000 -0500 -@@ -61,8 +61,8 @@ - - # prefixes: - --PREFIX_REG="::" --PREFIX_HL=" >" -+PREFIX_REG=" :" -+PREFIX_HL=" :" - - # functions: - |