From: Jérôme Benoit <jerome.benoit@piment-noir.org>
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;hp=--cc;p=Project_algorithmic_C.git

Merge branch 'master' of git.piment-noir.org:Project_algorithmic_C
---

ad6a51755d794cfc48606947c3b85da3fcb0998f