diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2012-07-30 12:26:43 +0200 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2012-07-30 14:27:05 +0200 |
commit | ea5a7a3403afa5af3948e8226a1ace4f89497210 (patch) | |
tree | a37c410d829d76fd5dad4fcc36b8a60b5da970b6 /lib/resource-ext.h | |
parent | 7f4d7474bc9b613a5a6577819befb340e1093d67 (diff) | |
download | gnulib-ea5a7a3403afa5af3948e8226a1ace4f89497210.tar.gz |
gnu-web-doc-update: fix --help
* build-aux/gnu-web-doc-update: The information "top level" was written
twice.
Diffstat (limited to 'lib/resource-ext.h')
0 files changed, 0 insertions, 0 deletions