commit 35a858cc7a3426799a13973acf733d68daca5f1b parent f3159269a1f218b7e7e49912c705f944afec1293 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Tue, 21 May 2019 15:01:47 +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