projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f4d747) | patch
gnu-web-doc-update: fix --help
authorAkim Demaille <akim@lrde.epita.fr>
Mon, 30 Jul 2012 10:26:43 +0000 (12:26 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Mon, 30 Jul 2012 12:27:05 +0000 (14:27 +0200)
commitea5a7a3403afa5af3948e8226a1ace4f89497210
treea37c410d829d76fd5dad4fcc36b8a60b5da970b6tree | snapshot
parent7f4d7474bc9b613a5a6577819befb340e1093d67commit | diff
gnu-web-doc-update: fix --help

* build-aux/gnu-web-doc-update: The information "top level" was written
twice.
ChangeLog diff | blob | history
build-aux/gnu-web-doc-update diff | blob | history
gnulib debian + stable branches