commit 6be09ccfc74fb0564659197046d5d0fbc40f9620 parent 5bddd2a2212a0e9e10c7d81a5c20152d1168784a Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Tue, 21 May 2019 15:15:02 +0200 testcommit Diffstat:
| M | doc/onboarding.texi | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/onboarding.texi b/doc/onboarding.texi @@ -1,4 +1,4 @@ -\input texinfo @c -*-texinfo-*- +\input texinfo @c -*-texinfo-*- @c %**start of header @setfilename onboarding.info @include version.texi