log

age author description
Wed, 20 Dec 2017 12:29:02 +0100 Pierre-Yves David stablesort: pass a jump recording function instead of a list
Wed, 20 Dec 2017 12:27:17 +0100 Pierre-Yves David stablesort: minor indent fix