projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c9217c) | patch
ignore-value: update recommended header name
authorEric Blake <ebb9@byu.net>
Mon, 25 Jan 2010 22:42:55 +0000 (15:42 -0700)
committerEric Blake <ebb9@byu.net>
Tue, 26 Jan 2010 13:01:19 +0000 (06:01 -0700)
commitfa02f68c16a459fd4971794a7feec07fa7669eed
tree79c6fdacc0eb8a83787393829fac9714f95f9005tree | snapshot
parent1c9217c42e20cb34140f66b58bca543fd14c4aeacommit | diff
ignore-value: update recommended header name

* modules/ignore-value (Include): Only use <> for headers that
exist in glibc.

Signed-off-by: Eric Blake <ebb9@byu.net>
ChangeLog diff | blob | history
modules/ignore-value diff | blob | history
gnulib debian + stable branches