Peter Eisentraut 55fb759ab3 Silence Bison deprecation warnings
Bison >=3.0 issues warnings about

    %name-prefix="base_yy"

instead of the now preferred

    %name-prefix "base_yy"

but the latter doesn't work with Bison 2.3 or less.  So for now we
silence the deprecation warnings.
2014-06-03 22:36:35 -04:00
..
2014-05-10 10:33:34 -04:00
2012-08-21 23:42:43 -04:00
2010-09-20 22:08:53 +02:00
2010-09-20 22:08:53 +02:00
2014-06-03 22:36:35 -04:00
2014-05-06 12:12:18 -04:00