diff docs/makefile @ 5442:25b746aea135

branching: merge with stable
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Fri, 24 Jul 2020 10:50:53 +0200
parents 187bd6ade465
children 398a3f0ca07a
line wrap: on
line diff