Merge branch 'master' of https://github.com/jerome-benoit/TD_C
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 20 Mar 2017 14:30:58 +0000 (15:30 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 20 Mar 2017 14:30:58 +0000 (15:30 +0100)

Trivial merge