projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 177ccf3) | patch
Really work around around "broken pipe" error message from bash 3.2.
authorBruno Haible <bruno@clisp.org>
Sun, 21 Feb 2010 12:27:25 +0000 (13:27 +0100)
committerBruno Haible <bruno@clisp.org>
Sun, 21 Feb 2010 12:27:25 +0000 (13:27 +0100)
commit5b1da950ff3472211ee313c601ebe03085340db2
treed81e2b3f910f2b09758951a8cdb44f58538e0b01tree | snapshot
parent177ccf36a2aeb40f67688fd5ffcb0058889d7590commit | diff
Really work around around "broken pipe" error message from bash 3.2.
ChangeLog diff | blob | history
gnulib-tool diff | blob | history
gnulib debian + stable branches