gnulib-tool: Make caching optional.
authorRalf Wildenhues <Ralf.Wildenhues@gmx.de>
Sun, 31 Jan 2010 20:06:21 +0000 (21:06 +0100)
committerBruno Haible <bruno@clisp.org>
Mon, 8 Feb 2010 00:07:14 +0000 (01:07 +0100)
commit7e8083688811b3783f0695ef33209c0f40be2b00
treed12732f70c082ff52107e020f838b004a8cace12
parent5330ce0284933deb38d3d1622a4e25159c535760
gnulib-tool: Make caching optional.
ChangeLog
gnulib-tool