comparison doc/gnulib-tool.texi @ 17472:08139590730c

accept doclicense option
author Karl Berry <karl@freefriends.org>
date Thu, 15 Aug 2013 11:01:29 -0700
parents 1d9362a18c34
children
comparison
equal deleted inserted replaced
17471:6e09d76e533b 17472:08139590730c