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