diff options
Diffstat (limited to 'lang/maude/patches/patch-src_Mixfix_commands.yy')
| -rw-r--r-- | lang/maude/patches/patch-src_Mixfix_commands.yy | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lang/maude/patches/patch-src_Mixfix_commands.yy b/lang/maude/patches/patch-src_Mixfix_commands.yy index 8d65a603d14..34af4a0257d 100644 --- a/lang/maude/patches/patch-src_Mixfix_commands.yy +++ b/lang/maude/patches/patch-src_Mixfix_commands.yy @@ -1,4 +1,6 @@ -$NetBSD: patch-src_Mixfix_commands.yy,v 1.1 2013/11/29 18:30:10 joerg Exp $ +$NetBSD: patch-src_Mixfix_commands.yy,v 1.2 2015/12/29 23:34:51 dholland Exp $ + +Fix syntax. --- src/Mixfix/commands.yy.orig 2013-11-28 01:20:49.000000000 +0000 +++ src/Mixfix/commands.yy |