-\input texinfo @c -*- coding: utf-8; mode: texinfo; documentlanguage: nl -*-
+@c -*- coding: utf-8; mode: texinfo; documentlanguage: nl -*-
@c This file is part of general.texi
@ignore
Translation of GIT committish: 1b3da70d81938d19a2b107382bbe25a267cf130b