diff Makefile @ 3358:81aae43ee0f1

stablesort: use parent filtering in a place we forgot to Freak merge striked again.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Thu, 21 Dec 2017 06:12:02 +0100
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff