]> Savannah Git Hosting - gnulib.git/commit
gendocs.sh: document new htmlarg default
authorKarl Berry <karl@freefriends.org>
Tue, 5 May 2015 23:14:12 +0000 (16:14 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 5 May 2015 23:14:12 +0000 (16:14 -0700)
commitfddc6dcff4209f3aa92eb8e829c3dd2a7c0bc4a2
tree7c46a66a86f703cad5c11df938f74b69aec47982
parent44f73b8deccadf3e0d668f493d7dc3babcaa3144
gendocs.sh: document new htmlarg default
ChangeLog
build-aux/gendocs.sh