5 Commits

Author	SHA1	Message	Date
Paul Eggert	caf8a9b2b3	Merge from gnulib. ... Fixes: debbugs:11527	2012-05-26 16:14:36 -07:00
Paul Eggert	bb55f713d2	Merge from gnulib.	2011-02-14 20:53:29 -08:00
Paul Eggert	e765a38829	gnulib: undo previous change	2011-02-06 14:13:03 -08:00
Paul Eggert	91ccade49b	gnulib: adjust to upstream _HEADERS change	2011-02-06 00:28:30 -08:00
Paul Eggert	5dc7a1d2c4	* lib/ignore-value.h: New file.	2011-02-03 13:38:34 -08:00