Merge remote-tracking branch 'origin/maint'
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 4 Sep 2012 16:51:55 +0000 (18:51 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 4 Sep 2012 16:51:55 +0000 (18:51 +0200)
commit6b5a748937ae95af26d78e9e5e7a335351a2970d
tree9cee8894da32e90e4405bc852d4055cccf627f10
parent1f77b2e095492ae95ae6ab33b3ad1f1bf5d758d8
parent403ddfb7e079a03db54ac4454b97febeee878a3c
Merge remote-tracking branch 'origin/maint'

* origin/maint:
  maint: remove useless file
  update files to ignore
  remove useless include
  use locale-indep. c_is* functions for parsing, not isspace, isprint etc
  gnulib: update
  --help: include a place to report translation issues
  tests: style changes
  tests: fix push-pull test
  yacc.c: style changes

Conflicts:
src/system.h
data/yacc.c
doc/.gitignore
src/getargs.c
src/parse-gram.c
src/parse-gram.y
src/scan-gram.l
src/system.h