diff COPYING @ 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 143c8e4dc22d
children
line wrap: on
line diff