diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-21 15:15:02 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-21 15:15:02 +0200 |
| commit | 6be09ccfc74fb0564659197046d5d0fbc40f9620 (patch) | |
| tree | aca4d682bf3338d1c597f22ee5cb577a3873fd1c /doc/onboarding.texi | |
| parent | 5bddd2a2212a0e9e10c7d81a5c20152d1168784a (diff) | |
| download | deployment-6be09ccfc74fb0564659197046d5d0fbc40f9620.tar.gz deployment-6be09ccfc74fb0564659197046d5d0fbc40f9620.tar.bz2 deployment-6be09ccfc74fb0564659197046d5d0fbc40f9620.zip | |
testcommit
Diffstat (limited to 'doc/onboarding.texi')
| -rw-r--r-- | doc/onboarding.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi index 7afb0e6..040eba5 100644 --- 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 |