diff docs/makefile @ 4118:d3ea35ad88f3

branching: merge stable into default
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Fri, 14 Sep 2018 12:21:32 +0200
parents 1a4f26eec0af
children 150be007f421
line wrap: on
line diff