Re: [Cin] A phrase is duplicated in the User Manual

14 Jun 2024


      I join in the thanks. The CinGG manual is a work in progress and
corrections, criticisms and suggestions are always welcome.

Andrea paz