log

age author description
Wed, 21 Jun 2017 11:11:37 +0200 Pierre-Yves David obslog: extra patch indentation code
Tue, 20 Jun 2017 13:49:40 +0200 Boris Feld obslog: add a patch option
Mon, 19 Jun 2017 19:00:31 +0200 Pierre-Yves David obslog: clarify some sorting code