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/?a=commitdiff_plain;h=b004f17b6250461881d04457de05b2c036f445ce;p=Project_algorithmic_C.git Merge branch 'master' of git.piment-noir.org:Project_algorithmic_C --- b004f17b6250461881d04457de05b2c036f445ce