From: Jérôme Benoit Date: Fri, 2 Mar 2018 13:28:29 +0000 (+0100) Subject: Merge branch 'master' of git.piment-noir.org:Project_algorithmic_C X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=ad6a51755d794cfc48606947c3b85da3fcb0998f;p=Project_algorithmic_C.git Merge branch 'master' of git.piment-noir.org:Project_algorithmic_C --- ad6a51755d794cfc48606947c3b85da3fcb0998f