From: Jérôme Benoit Date: Thu, 24 Aug 2017 12:31:37 +0000 (+0200) Subject: Merge branch 'master' of git.piment-noir.org:Project_algorithmic_C X-Git-Url: https://git.piment-noir.org/?p=Project_algorithmic_C.git;a=commitdiff_plain;h=b004f17b6250461881d04457de05b2c036f445ce Merge branch 'master' of git.piment-noir.org:Project_algorithmic_C --- b004f17b6250461881d04457de05b2c036f445ce