diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2018-12-12 05:30:24 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2018-12-12 05:30:24 +0000 |
| commit | c07192f844e09d8cec10ab5cfe34f515661d939c (patch) | |
| tree | c45d274c9945901441ac676b35c28bf4ef48db6d /lang/maude/files/patch-src__Mixfix__modules.yy | |
| parent | net-im/py-slackclient: Update to 1.3.0 [1] (diff) | |
- Update to 2.7.1
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`
PR: 231443
Submitted by: Greg V <greg@unrelenting.technology>
Diffstat (limited to '')
| -rw-r--r-- | lang/maude/files/patch-src__Mixfix__modules.yy | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/maude/files/patch-src__Mixfix__modules.yy b/lang/maude/files/patch-src__Mixfix__modules.yy deleted file mode 100644 index 370f3194d30a..000000000000 --- a/lang/maude/files/patch-src__Mixfix__modules.yy +++ /dev/null @@ -1,11 +0,0 @@ ---- ./src/Mixfix/modules.yy.orig 2014-09-03 02:57:44.000000000 +0200 -+++ ./src/Mixfix/modules.yy 2014-09-03 02:58:03.000000000 +0200 -@@ -247,7 +247,7 @@ - // press on. - // - opDescription = lexerBubble; -- lexBubble(END_STATEMENT, 1) -+ lexBubble(END_STATEMENT, 1); - } - endBubble - { |