diff Makefile @ 32092:1e0f3723d658 stable

color: point to the config help in global help topic We point out at the help of the config option for user who wants to learn more about the possible config value. The suggested command returns some other extra (color related) results, but this is bug to fix outside of the freeze.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 01 May 2017 15:38:57 +0200
parents fcddcf442e4f
children 2daba41c3b80 197eb93560b3
line wrap: on
line diff