projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33b31e1) | patch
Request a "make distclean" after successful "make check", to save disk space.
authorBruno Haible <bruno@clisp.org>
Mon, 12 Mar 2007 00:48:31 +0000 (00:48 +0000)
committerBruno Haible <bruno@clisp.org>
Mon, 12 Mar 2007 00:48:31 +0000 (00:48 +0000)
commit02489b329f4a273a8bc43c11f37e277196d64dd8
tree1e8ee50b2a87520db09cb0f5667acd7fa33323fatree | snapshot
parent33b31e155931e490b9bf965fa5d2323b483e3137commit | diff
Request a "make distclean" after successful "make check", to save disk space.
gnulib-tool diff | blob | history
gnulib debian + stable branches