diff gnulib-tool @ 40187:7f943adad683

autoupdate
author Karl Berry <karl@freefriends.org>
date Tue, 19 Feb 2019 08:54:45 -0800
parents a7fe9f54c3df
children fab7ce42e03f
line wrap: on
line diff