projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64c703d) | patch
Regular expressions in shell scripts on MacOS are inconsistent... again. :-( Fixing...
authorMorgan Deters <mdeters@gmail.com>
Wed, 28 Sep 2011 18:46:29 +0000 (18:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 28 Sep 2011 18:46:29 +0000 (18:46 +0000)
commit623e4c71b3ec579a5933b3c65dd1da67b007f6c9
tree328252fd16977b39a7f95b805d8842f23f1adc18tree
parent64c703d55dc132d3acb4f7da5ab9403886f121c0commit | diff
Regular expressions in shell scripts on MacOS are inconsistent... again. :-(  Fixing a problem with Debug_tags and Trace_tags, closes bug #281
src/util/Makefile.am diff | blob | history