diff Makefile @ 2299:268970463144

readme: mention that some improvement are enabled for 4.2 only
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 01 May 2017 15:49:36 +0200
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff