]> git.saurik.com Git - bison.git/commitdiff
Merge branch 'maint'
authorAkim Demaille <akim@lrde.epita.fr>
Thu, 4 Oct 2012 15:16:00 +0000 (17:16 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Thu, 4 Oct 2012 15:16:00 +0000 (17:16 +0200)
* origin/maint:
  maint: word changes
  lalr1.cc: fix test suite portability
  maint: fix an erroneous include
  tests: check that headers are self contained
  doc: add missing documentation for --report

Conflicts:
NEWS
data/location.cc


No differences found